Sciweavers

15777 search results - page 150 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ESEC
1999
Springer
15 years 10 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 10 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold
EWSPT
1999
Springer
15 years 10 months ago
Process Modelling Languages
Reidar Conradi, Maria Letizia Jaccheri