8398 search results - page 314 / 1680 » Optimal Software Testing |
161
click to vote
IWANN
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...
186
click to vote
SAGA
2005
Springer
16 years 5 days ago
2005
Springer
Two general-purpose metaheuristic algorithms for solving multiobjective stochastic combinatorial optimization problems are introduced: SP-ACO (based on the Ant Colony Optimization ...
164
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
174
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver devel...
189
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...