Sciweavers

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