Sciweavers

6941 search results - page 89 / 1389
» Testing as a Certification Approach
Sort
View
KBSE
2003
IEEE
14 years 1 months ago
Tool-Assisted Unit Test Selection Based on Operational Violations
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
Tao Xie, David Notkin
DEXAW
2008
IEEE
124views Database» more  DEXAW 2008»
13 years 9 months ago
Weighting Influence of User Behavior in Software Validation
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
Antonia Bertolino, Emanuela G. Cartaxo, Patr&iacut...
ECCV
2006
Springer
14 years 9 months ago
Random Walks, Constrained Multiple Hypothesis Testing and Image Enhancement
Image restoration is a keen problem of low level vision. In this paper, we propose a novel - assumption-free on the noise model - technique based on random walks for image enhancem...
Noura Azzabou, Nikos Paragios, Frederic Guichard
GECCO
2005
Springer
125views Optimization» more  GECCO 2005»
14 years 1 months ago
Improving EA-based design space exploration by utilizing symbolic feasibility tests
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...
Thomas Schlichter, Christian Haubelt, Jürgen ...
VLSID
1993
IEEE
136views VLSI» more  VLSID 1993»
13 years 12 months ago
A Simulation-Based Test Generation Scheme Using Genetic Algorithms
This paper discusses a Genetic Algorithm-based method of generating test vectorsfor detecting faults in combinational circuits. The GA-based approach combines the merits of two te...
M. Srinivas, Lalit M. Patnaik