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” …
G Gay, M Staats, M Whalen… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
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 …
J Liang, S Elbaum, G Rothermel - Proceedings of the 40th International …, 2018 - dl.acm.org
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 …