Sciweavers

15811 search results - page 41 / 3163
» Search-based software engineering
Sort
View
VMCAI
2004
Springer
16 years 7 days ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi