Sciweavers

6040 search results - page 50 / 1208
» Generating Instance Models from Meta Models
Sort
View
97
Voted
WOSP
2005
ACM
15 years 8 months ago
Automatic generation of layered queuing software performance models from commonly available traces
Tauseef A. Israr, Danny H. Lau, Greg Franks, C. Mu...
101
Voted
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...