Sciweavers

4079 search results - page 26 / 816
» Differential Testing for Software
Sort
View
67
Voted
AADEBUG
2000
Springer
15 years 4 months ago
Finding Failure Causes through Automated Testing
Holger Cleve, Andreas Zeller
88
Voted
KBSE
1999
IEEE
15 years 4 months ago
Automatic Generation of Test Oracles-From Pilot Studies to Application
Martin S. Feather, Benjamin D. Smith
80
Voted
ESEC
1999
Springer
15 years 4 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
74
Voted
FOSSACS
1999
Springer
15 years 4 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
79
Voted
ICSM
1998
IEEE
15 years 4 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol