Sciweavers

41 search results - page 1 / 9
» kbse 2005
Sort
View
98
Voted
KBSE
2005
IEEE
15 years 11 months ago
A component model for internet-scale applications
Steven P. Reiss
97
Voted
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
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella