default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDModel-Based Testing for Embedded Systems 2011
- Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman:
Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press 2011, ISBN 978-1-4398-1845-9 - Justyna Zander, Ina Schieferdecker:
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains. - Antti Huima:
Behavioral System Models versus Models of Testing Strategies in Functional Test Generation. - Stephen P. Masticola, Michael Gall:
Test Framework Architectures for Model-Based Embedded System Testing. - Stephan Weißleder, Holger Schlingloff
:
Automatic Model-Based Test Generation from UML State Machines. - Jesse H. Poore, Lan Lin, Robert Eschbach, Thomas Bauer:
Automated Statistical Testing for Embedded Systems. - Mark Utting:
How to Design Extended Finite State Machine Test Models in Java. - Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis:
Automatic Testing of LUSTRE/SCADE Programs. - Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet:
Test Generation Using Symbolic Animation of Models. - Fevzi Belli, Axel Hollmann, Sascha Padberg:
Model-Based Integration Testing with Communication Sequence Graphs. - Manfred Broy, Alexander Pretschner:
A Model-Based View onto Testing. - Abel Marrero Pérez, Stefan Kaiser:
Multilevel Testing for Embedded Systems. - Jürgen Großmann, Philip Makedonski, Hans-Werner Wiesbrock, Jaroslav Svacina, Ina Schieferdecker, Jens Grabowski:
Model-Based X-in-the-Loop Testing. - Sebastian Oster, Andreas Wübbeke, Gregor Engels, Andy Schürr:
A Survey of Model-Based Software Product Lines Testing. - Thao Dang:
Model-Based Testing of Hybrid Systems. - Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend:
Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. - Stefan Gruner, Bruce W. Watson:
Model-Based Passive Testing of Safety-Critical Components. - Fredrik Abbors, Veli-Matti Aho, Jani Koivulainen, Risto Teittinen, Dragos Truscan:
Applying Model-Based Testing in the Telecommunication Domain. - Antti Jääskeläinen, Tommi Takala, Mika Katara:
Model-Based GUI Testing of Smartphone Applications. - Pawel Skruch, Miroslaw Panek, Bogdan Kowalczyk:
Model-Based Testing in Embedded Automotive Systems. - Mirko Conrad:
Testing-Based Translation Validation of Generated Code. - Lee Barford:
Model-Based Testing of Analog Embedded Systems Components. - Laurence Pierre, Luca Ferro:
Dynamic Verification of SystemC Transactional Models.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-27 22:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
