Sciweavers

5855 search results - page 103 / 1171
» Test generation and minimization with
Sort
View
KBSE
2005
IEEE
15 years 11 months ago
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
KBSE
2005
IEEE
15 years 11 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 11 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 11 months ago
Industrial experience with test generation languages for processor verification
Michael L. Behm, John M. Ludden, Yossi Lichtenstei...