Sciweavers

15885 search results - page 90 / 3177
» The Modest Software Engineer
Sort
View
121
Voted
KBSE
2007
IEEE
16 years 11 days ago
Efficiently monitoring data-flow test coverage
Raúl A. Santelices, Mary Jean Harrold
KBSE
2007
IEEE
16 years 11 days ago
Verifying C++ with STL containers via predicate abstraction
Nicolas Blanc, Alex Groce, Daniel Kroening