Sciweavers

5855 search results - page 103 / 1171
» Test generation and minimization with
Sort
View
KBSE
2005
IEEE
16 years 17 days 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»
16 years 15 days ago
Improving network applications security: a new heuristic to generate stress testing data
Concettina Del Grosso, Giuliano Antoniol, Massimil...
DAC
2004
ACM
16 years 12 days ago
Industrial experience with test generation languages for processor verification
Michael L. Behm, John M. Ludden, Yossi Lichtenstei...