Sciweavers

6704 search results - page 72 / 1341
» Testing Scenario-Based Models
Sort
View
90
Voted
CASSIS
2004
Springer
15 years 6 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
COMPSAC
2004
IEEE
15 years 6 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson
88
Voted
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 4 months ago
Model-Driven Platform-Specific Testing through Configurable Simulations
Thomas Kuhn, Reinhard Gotzhein