Sciweavers

5855 search results - page 103 / 1171
» Test generation and minimization with
Sort
View
KBSE
2005
IEEE
15 years 7 months ago
Test input generation for red-black trees using abstraction
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
GECCO
2005
Springer
100views Optimization» more  GECCO 2005»
15 years 7 months ago
Improving network applications security: a new heuristic to generate stress testing data
Concettina Del Grosso, Giuliano Antoniol, Massimil...
DAC
2004
ACM
15 years 6 months ago
Industrial experience with test generation languages for processor verification
Michael L. Behm, John M. Ludden, Yossi Lichtenstei...