Sciweavers

3547 search results - page 38 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ISSTA
2000
ACM
15 years 4 months ago
Automated Testing of Classes
Ugo A. Buy, Alessandro Orso, Mauro Pezzè
ESEC
1999
Springer
15 years 4 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
FOSSACS
1999
Springer
15 years 4 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir