Model‐based testing (MBT) relies on models of a system under test and/or its environment to
derive test cases for the system. This paper discusses the process of MBT and defines a …

Today's smartphone application markets host an ever increasing number of applications.
The sheer number of applications makes their review a daunting task. We propose …

Model-based testing relies on behavior models for the generation of model traces: input and
expected output---test cases---for an implementation. We use the case study of an …

What the experts have to say about Model-Based Testing for Embedded Systems:" This
book is exactly what is needed at the exact right time in this fast-growing area. From its …

This interdisciplinary guide explores various types of modeling methods available for
dynamical systems. It begins with the general concepts, representations, and philosophy of …

Model-based testing has become increasingly popular in recent years. Major reasons
include (1) the need for quality assurance for increasingly complex systems,(2) the emerging …

Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very
large number of executable paths. Developers can test more of these paths using random …

Efficient testing is a crucial prerequisite to engineer reliable automotive software
successfully. However, manually deriving test cases from ambiguous textual requirements is …

The unified modelling language has been introduced as a notation for modelling and
reasoning about large and complex systems, and their design, across a wide range of …

Abstract State machines, represented by statecharts or statechart diagrams, are an important
formalism for behavioural modelling. According to the research literature, the most popular …