Regression testing is a testing activity that is performed to provide confidence that changes
do not harm the existing behaviour of the software. Test suites tend to grow in size as …

Search-Based Software Testing is the use of a meta-heuristic optimizing search technique,
such as a Genetic Algorithm, to automate or partially automate a testing task, for example the …

We introduce Sapienz, an approach to Android testing that uses multi-objective search-
based testing to automatically explore and optimise test sequences, minimising length, while …

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 …

To report a compiler bug, one must often find a small test case that triggers the bug. The
existing approach to automated test-case reduction, delta debugging, works by removing …

To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into
programs; a non-detected mutation indicates a weakness in the test suite. We present an …

Writing good unit tests can be tedious and error prone, but even once they are written, the
job is not done: Developers need to reason about unit tests throughout software …

Continuous Integration (CI) is a set of software development practices that allow software
development teams to generate software builds more quickly and periodically (eg, daily or …

It is commonly understood that a verification tool should provide a counterexample to
witness a specification violation. Until recently, software verifiers dumped error witnesses in …

Modern test case generation techniques can automatically achieve high code coverage. If
they operate on the unit level, they run the risk of generating inputs infeasible in reality …