Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

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 …

This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

This paper describes some of the challenges and opportunities when deploying static and
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …

Despite decades of work by researchers and practitioners on numerous software quality
assurance techniques, testing remains one of the most widely practiced and studied …

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” …

In software testing, something which can verify the correctness of test case execution results
is called an oracle. The oracle problem occurs when either an oracle does not exist, or exists …

Unit testing is a common practice where developers write test cases together with regular
code. Automation frameworks such as JUnit for Java have popularised this approach …

A number of structural coverage criteria have been proposed to measure the adequacy of
testing efforts. In the avionics and other critical systems domains, test suites satisfying …

Test oracle methods have changed significantly over time, which has resulted in clear shifts
in the research literature. Over the years, the testing techniques, strategies, and criteria …