Sciweavers

8627 search results - page 22 / 1726
» Software Engineering Using RATionale
Sort
View
ESEC
1999
Springer
14 years 27 days ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ICSM
1998
IEEE
14 years 26 days ago
Slicing Objects Using System Dependence Graphs
Donglin Liang, Mary Jean Harrold