Sciweavers

21 search results - page 1 / 5
» esec 1999
Sort
View
ESEC
1997
Springer
13 years 9 months ago
The Tale of Two Projects - Abstract
Dewayne E. Perry, Lawrence G. Votta
ESEC
1999
Springer
13 years 9 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
13 years 9 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold