110 search results - page 3 / 22 » Techniques for Empirical Testing of Parallel Random Number G... |
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutan...
SPIN
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
TSE
2010
13 years 14 days ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
PPSN
2004
Springer
13 years 11 months ago
2004
Springer
In empirical studies of Evolutionary Algorithms, it is usually desirable to evaluate and compare algorithms using as many different parameter settings and test problems as possible...