default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd MBT 2007: Braga, Portugal
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007 - Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
:
Preface. 1 - Sergiy Boroday, Alexandre Petrenko, Roland Groz:
Can a Model Checker Generate Tests for Non-Deterministic Systems? 3-19 - Frédéric Dadeau, Yves Ledru, Lydie du Bousquet:
Measuring a Java Test Suite Coverage Using JML Specifications. 21-32 - Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. 33-46 - Anders Hessel, Paul Pettersson:
A Global Algorithm for Model-Based Test Suite Generation. 47-59 - Maik Kollmann, Yuen Man Hon:
Generating Scenarios by Multi-Object Checking. 61-72 - Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti:
A Case Study in Matching Test and Proof Coverage. 73-84 - Martin Ouimet, Kristina Lundqvist:
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. 85-97 - Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal:
Towards the Integration of Visual and Formal Models for GUI Testing. 99-111 - Franco Raimondi, Charles Pecheur, Guillaume Brat:
Testing Planning Domains (without Model Checkers). 113-125
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 2024-12-23 19:39 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:
