Abstract is missing.
- A Survey of Model-Based Software Product Lines TestingSebastian Oster, Andreas Wübbeke, Gregor Engels, Andy Schürr. [doi]
- Test Generation Using Symbolic Animation of ModelsFrédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet. [doi]
- Model-Based Passive Testing of Safety-Critical ComponentsStefan Gruner, Bruce W. Watson. [doi]
- Reactive Testing of Nondeterministic Systems by Test Purpose-Directed TesterJuri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend. [doi]
- Dynamic Verification of SystemC Transactional ModelsLaurence Pierre, Luca Ferro. [doi]
- A Model-Based View onto TestingManfred Broy, Alexander Pretschner. [doi]
- Model-Based X-in-the-Loop TestingJürgen Großmann, Philip Makedonski, Hans-Werner Wiesbrock, Jaroslav Svacina, Ina Schieferdecker, Jens Grabowski. [doi]
- Automated Statistical Testing for Embedded SystemsJesse H. Poore, Lan Lin, Robert Eschbach, Thomas Bauer. [doi]
- Applying Model-Based Testing in the Telecommunication DomainFredrik Abbors, Veli-Matti Aho, Jani Koivulainen, Risto Teittinen, Dragos Truscan. [doi]
- Model-Based Integration Testing with Communication Sequence GraphsFevzi Belli, Axel Hollmann, Sascha Padberg. [doi]
- Model-Based Testing of Hybrid SystemsThao Dang. [doi]
- Multilevel Testing for Embedded SystemsAbel Marrero Pérez, Stefan Kaiser. [doi]
- Automatic Testing of LUSTRE/SCADE ProgramsVirginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. [doi]
- Test Framework Architectures for Model-Based Embedded System TestingStephen P. Masticola, Michael Gall. [doi]
- Automatic Model-Based Test Generation from UML State MachinesStephan Weißleder, Holger Schlingloff. [doi]
- Model-Based Testing of Analog Embedded Systems ComponentsLee Barford. [doi]
- Testing-Based Translation Validation of Generated CodeMirko Conrad. [doi]
- Behavioral System Models versus Models of Testing Strategies in Functional Test GenerationAntti Huima. [doi]
- A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry DomainsJustyna Zander, Ina Schieferdecker. [doi]
- Model-Based GUI Testing of Smartphone ApplicationsAntti Jääskeläinen, Tommi Takala, Mika Katara. [doi]
- Model-Based Testing in Embedded Automotive SystemsPawel Skruch, Miroslaw Panek, Bogdan Kowalczyk. [doi]
- How to Design Extended Finite State Machine Test Models in JavaMark Utting. [doi]