Sciweavers

15811 search results - page 43 / 3163
» Search-based software engineering
Sort
View
57
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
Managing Software Quality with Defects
David N. Card
KBSE
2002
IEEE
15 years 5 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
94
Voted
EMSOFT
2001
Springer
15 years 5 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot