Sciweavers

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