Sciweavers

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