Sciweavers

15794 search results - page 121 / 3159
» Agent-Oriented Software Engineering
Sort
View
KBSE
2007
IEEE
15 years 4 months ago
Efficiently monitoring data-flow test coverage
Raúl A. Santelices, Mary Jean Harrold
KBSE
2007
IEEE
15 years 4 months ago
Verifying C++ with STL containers via predicate abstraction
Nicolas Blanc, Alex Groce, Daniel Kroening
SCAM
2007
IEEE
15 years 4 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe