![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.