Sciweavers

4079 search results - page 26 / 816
» Differential Testing for Software
Sort
View
ESEC
1999
Springer
15 years 6 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
FOSSACS
1999
Springer
15 years 6 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
86
Voted
ICSM
1998
IEEE
15 years 6 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol