Sciweavers

6704 search results - page 72 / 1341
» Testing Scenario-Based Models
Sort
View
CASSIS
2004
Springer
14 years 1 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
COMPSAC
2004
IEEE
14 years 1 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson