Sciweavers

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