Sciweavers

15799 search results - page 113 / 3160
» Software engineering: a roadmap
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
Code security analysis with assertions
Jan Jürjens, Mark Yampolskiy
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...