Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …

The testing process is typically systematic in test data selection and test execution. For the
most part, however, the effective use of test oracles has been neglected, even though they …

In previous decades, researchers have explored the formal foundations of program testing.
By exploring the foundations of testing largely separate from any specific method of testing …

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 …

All software testing methods depend on the availability of an oracle, that is, some method for
checking whether the system under test has behaved correctly on a particular execution. An …

In software testing, a set of test cases is constructed according to some predefined selection
criteria. The software is then examined against these test cases. Three interesting …

CONTEXT: One of the important issues of software testing is to provide an automated test
oracle. Test oracles are reliable sources of how the software under test must operate. In …

While everyone knows the theoretical limitations of software testing, in practice we devote
considerable effort to this task and would consider it foolish or downright dangerous to skip …

This book describes how to structure and build an automated testing regime that will give
lasting benefits in the use of test execution tools to automate testing on a medium to large …