Sciweavers

15784 search results - page 49 / 3157
» Mega Software Engineering
Sort
View
FASE
2003
Springer
15 years 11 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
APSEC
2002
IEEE
15 years 11 months ago
A Recommendation System for Software Function Discovery
Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto
KBSE
2002
IEEE
15 years 10 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...