Testers use model-based testing to design abstract tests from models of the system's
behavior. Testers instantiate the abstract tests into concrete tests with test input values and …

Model-based testing is a technique to design abstract tests from models that partially
describe the system's behaviour. Abstract tests are transformed into concrete tests, which …

Model-based testing relies on the assumption that effective adequacy criteria can be defined
in terms of model coverage achieved by a set of test paths. However, such test paths are …

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 …

This paper describes a method for automatically generating (and re-generating) test oracles
during software development using the counter-example generation mechanism found in …

This position paper gives an overview of model-based testing and discusses how it might fit
into the proposed grand challenge for a program verifier. Model-based testing [EFW02 …

Abstract Model-based testing is focused on testing techniques which rely on the use of
models. The diversity of systems and software to be tested implies the need for research on …

As part of Microsofts Trustworthy Computing [Trustworthy Computing: Reliability URL
http://www. microsoft. com/mscorp/twc/reliability/default. mspx] initiative the company has …

Models-in particular finite state machine models-provide an invaluable source of information
for the derivation of effective test cases. However, models usually approximate part of the …

We introduce a technique for assessing and improving test oracles by reducing the
incidence of both false positives and false negatives. We prove that our approach can …