default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd MBT 2006: Vienna, Austria
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 - Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
:
Preface. 1 - Mirko Conrad, Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. 3-11 - N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
A Model-based Integration and Testing Method to Reduce System Development Effort. 13-28 - Daniel Aguiar da Silva, Patrícia D. L. Machado:
Towards Test Purpose Generation from CTL Properties for Reactive Systems. 29-40 - Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok:
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. 41-52 - Antti Kervinen, Mika Maunumaa, Mika Katara:
Controlling Testing Using Three-Tier Model Architecture. 53-66 - Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch:
Testing Self-Similar Networks. 67-82 - Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin:
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. 83-96 - Robert Nilsson, Jeff Offutt, Jonas Mellin:
Test Case Generation for Mutation-based Testing of Timeliness. 97-114 - Bernhard K. Aichernig, Chris George:
When Model-based Testing Fails. 115-128
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-11-22 19:49 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:
