Sciweavers

15777 search results - page 150 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
103
Voted
KBSE
1999
IEEE
15 years 6 months ago
Automatic Generation of Test Oracles-From Pilot Studies to Application
Martin S. Feather, Benjamin D. Smith
ESEC
1999
Springer
15 years 6 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 6 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold
52
Voted
EWSPT
1999
Springer
15 years 6 months ago
Process Modelling Languages
Reidar Conradi, Maria Letizia Jaccheri