Sciweavers

15811 search results - page 43 / 3163
» Search-based software engineering
Sort
View
135
Voted
ICSM
2002
IEEE
15 years 11 months ago
Behavioural Concern Modelling for Software Change Tasks
Albert Lai, Gail C. Murphy
125
Voted
KBSE
2002
IEEE
15 years 11 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
167
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot