Test case generation is among the most labour-intensive tasks in software testing. It also has
a strong impact on the effectiveness and efficiency of software testing. For these reasons, it …

Abstract Model based testing is one of the promising technologies to meet the challenges
imposed on software testing. In model based testing an implementation under test is tested …

Systematic testing is very important for assessing and improving the quality of software
systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone …

We propose a new framework for black-box conformance testing of real-time systems, where
specifications are modeled as non-deterministic and partially-observable timed automata …

We propose a new framework for black-box conformance testing of real-time systems. The
framework is based on the model of partially-observable, non-deterministic timed automata …

Testing is one of the costliest aspects of commercial software development. Model-based
testing is a promising approach addressing these deficits. At Microsoft, model-based testing …

We give an algorithm that derives a finite state machine (FSM) from a given abstract state
machine (ASM) specification. This allows us to integrate ASM specs with the existing tools …

Automatically generated models may provide the key towards controlling the evolution of
complex systems, form the basis for test generation and may be applied as monitors for …

The increasing complexity of today's testing scenarios for complex systems demands an
integrated, open, and flexible approach to support the management of the overall test …

In the classic approach to logic model checking, software verification requires a manually
constructed artifact (the model) to be written in the language that is accepted by the model …