default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th MBT@ETAPS 2008: Budapest, Hungary
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008 - Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
:
Preface. 1 - Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased Random Exploration of Models. 3-14 - Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Verifying Test-Hypotheses: An Experiment in Test and Proof. 15-27 - Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing. 29-41 - Claudia Pons, Diego García:
A Lightweight Approach for the Semantic Validation of Model Refinements. 43-61 - Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa:
Improving Fault-based Conformance Testing. 63-77 - Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. 79-92 - Jan Jürjens:
Model-based Security Testing Using UMLsec: A Case Study. 93-104
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-01-04 01:08 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:
