Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

Field testing refers to testing techniques that operate in the field to reveal those faults that
escape in-house testing. Field testing techniques are becoming increasingly popular with …

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 …

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 present T-Uppaal—a new tool for online black-box testing of real-time embedded
systems from non-deterministic timed automata specifications. We describe a sound and …

The starting point for Model-Based Testing is an implementation relation that formally
defines when a formal model representing the System Under Test conforms to a formal …

We propose an approach to test whether a system conforms to its specification given in
terms of an Input/Output Symbolic Transition System (IOSTS). IOSTSs use data types to …

In this article, we present a model-based black-box equivalence partition testing strategy,
together with a formal proof of its completeness properties. The results apply to reactive …

The Service-Oriented Architecture (SOA) paradigm is giving rise to a new generation of
applications built by dynamically composing loosely coupled autonomous services. Clients …