Sciweavers

15784 search results - page 100 / 3157
» Mega Software Engineering
Sort
View
136
Voted
IWPC
2007
IEEE
16 years 1 months ago
15 Years of Program Comprehension
Scott R. Tilley
KBSE
2007
IEEE
16 years 1 months ago
Efficiently monitoring data-flow test coverage
Raúl A. Santelices, Mary Jean Harrold
KBSE
2007
IEEE
16 years 1 months ago
Verifying C++ with STL containers via predicate abstraction
Nicolas Blanc, Alex Groce, Daniel Kroening