Sciweavers

41 search results - page 1 / 9
» kbse 2005
Sort
View
63
Voted
KBSE
2005
IEEE
15 years 6 months ago
Code security analysis with assertions
Jan Jürjens, Mark Yampolskiy
88
Voted
KBSE
2005
IEEE
15 years 6 months ago
UMLDiff: an algorithm for object-oriented design differencing
Zhenchang Xing, Eleni Stroulia
78
Voted
KBSE
2005
IEEE
15 years 6 months ago
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella