Sciweavers

15824 search results - page 162 / 3165
» Specialising in Software Engineering
Sort
View
111
Voted
ESEC
1999
Springer
15 years 8 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 8 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold
66
Voted
EWSPT
1999
Springer
15 years 8 months ago
Process Modelling Languages
Reidar Conradi, Maria Letizia Jaccheri