Sciweavers

15778 search results - page 28 / 3156
» Aikido and software engineering
Sort
View
78
Voted
ESEC
1999
Springer
15 years 4 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 4 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold
EWSPT
1999
Springer
15 years 4 months ago
Process Modelling Languages
Reidar Conradi, Maria Letizia Jaccheri
74
Voted
FOSSACS
1999
Springer
15 years 4 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir