Sciweavers

21 search results - page 1 / 5
» esec 1999
Sort
View
ESEC
1997
Springer
15 years 11 months ago
The Tale of Two Projects - Abstract
Dewayne E. Perry, Lawrence G. Votta
ESEC
1999
Springer
15 years 11 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
126
Voted
ESEC
1999
Springer
15 years 11 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold
116
Voted
ESEC
1999
Springer
15 years 11 months ago
CHIME: A Metadata-Based Distributed Software Development Environment
Stephen E. Dossick, Gail E. Kaiser