Sciweavers

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