Accepted Papers

Alexander Krupp and Mirko Conrad. An Extension of the Classification-Tree Method for Embedded Systems for
the Description of Events

Constantinos Djouvas, Nancy Griffeth and Nancy Lynch. Testing Self-Similar Networks

Daniel Aguiar da Silva and Patrícia Machado. Towards Test Purpose Generation from CTL Properties for Reactive Systems

Sean Callanan, Radu Grosu, Abhishek Rai, Scott Smolka, Mike True and Erez Zadok. Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

Niels Braspenning, Asia van de Mortel-Fronczak and Koos Rooda. A model-based integration and testing approach to reduce lead time in system development

Victor Kuliamin, Igor Burdonov and Alexander S. Kossatchev. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions

Robert Nilsson, Jeff Offutt and Jonas Mellin. Test Case Generation for Testing of Timeliness

Antti Kervinen, Mika Maunumaa and Mika Katara. Controlling Testing using Three-Tier Model Architecture

Bernhard K. Aichernig and Chris George. When Specification-based Testing Fails