334 search results - page 2 / 67 » Model-Based Software Testing and Verification |
ISOLA
2004
Springer
13 years 10 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
ICFEM
2007
Springer
13 years 9 months ago
2007
Springer
FATES
2006
Springer
13 years 9 months ago
2006
Springer
ECBS
2010
IEEE
13 years 8 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE