Sciweavers

16790 search results - page 140 / 3358
» A Future for Software Engineering
Sort
View
87
Voted
KBSE
2007
IEEE
15 years 9 months ago
Efficiently monitoring data-flow test coverage
Raúl A. Santelices, Mary Jean Harrold
KBSE
2007
IEEE
15 years 9 months ago
Verifying C++ with STL containers via predicate abstraction
Nicolas Blanc, Alex Groce, Daniel Kroening