Sciweavers

15777 search results - page 98 / 3156
» Software Engineering
Sort
View
76
Voted
KBSE
2005
IEEE
15 years 8 months ago
Code security analysis with assertions
Jan Jürjens, Mark Yampolskiy
KBSE
2005
IEEE
15 years 8 months ago
Test input generation for red-black trees using abstraction
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...