Sciweavers

41 search results - page 1 / 9
» kbse 2005
Sort
View
60
Voted
KBSE
2005
IEEE
15 years 5 months ago
Code security analysis with assertions
Jan Jürjens, Mark Yampolskiy
73
Voted
KBSE
2005
IEEE
15 years 5 months ago
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella