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 …

In continuous integration development environments, software engineers frequently
integrate new or changed code with the mainline codebase. This can reduce the amount of …

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

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 …

Continuous integration (CI) development environments allow software engineers to
frequently integrate and test their code. While CI environments provide advantages, they …

Software systems and their environment change are continuous. They are enhanced,
corrected, and ported to new platforms. These changes can affect a system adversely, thus …

Regression testing is crucial for ensuring the quality of modern software systems, but can be
extremely costly in practice. Test-case prioritization has been proposed to improve the …

Test case prioritization aims to schedule the execution order of test cases so as to detect
bugs as early as possible. For compiler testing, the demand for both effectiveness and …

Structural code coverage is a popular test adequacy metric that measures the percentage of
program structure (eg, statement, branch, decision) executed by a test suite. While structural …

Concurrent programs are prone to various classes of difficult-to-detect faults, of which data
races are particularly prevalent. Prior work has attempted to increase the cost-effectiveness …