Sciweavers

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