Sciweavers

334 search results - page 2 / 67
» Model-Based Software Testing and Verification
Sort
View
ISOLA
2004
Springer
15 years 6 months ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
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...
Victor V. Kuliamin
ICFEM
2007
Springer
15 years 5 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ECBS
2010
IEEE
230views Hardware» more  ECBS 2010»
15 years 4 months ago
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support
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...
Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zaf...
ICST
2010
IEEE
14 years 11 months ago
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Daniele Grasso, Alessandro Fantechi, Alessio Ferra...