Sciweavers

6040 search results - page 50 / 1208
» Generating Instance Models from Meta Models
Sort
View
ESEC
1999
Springer
15 years 10 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
CASSIS
2004
Springer
15 years 9 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...