During maintenance, it is common to run the new version of a program against its existing
test suite to check whether the modifications in the program introduced unforeseen side …

Knowing which method parameters may be mutated during a method's executionis useful for
many software engineering tasks. We present an approach todiscovering parameter …

Although there has been much work on automated GUI regression testing of software, full
automation continues to etude us. There are two significant impediments to full automation …

Previous research has demonstrated that the test coverage of libraries can be expanded by
using existing test inputs from their dependent projects. In this paper, we propose an …

An extreme transformation removes the body of a method that is reached by one test case at
least. If the test suite passes on the original program and still passes after the extreme …

Regression testing is crucial in ensuring that pure code refactoring does not adversely affect
existing software functionality, but it can be expensive, accounting for half the cost of …

Modern software engineers automate as many tests as possible. Test automation allows
tests to be run hundreds or thousands of times: hourly, daily, and sometimes continuously …

In the software development life cycle, unit testing is an important phase that helps in early
detection of bugs. A unit test case consists of two parts: a test input, which is often a …

Context: Computational diversity, ie, the presence of a set of programs that all perform
compatible services but that exhibit behavioral differences under certain conditions, is …

An integral part of test case is the verification phase (also calledtest oracle'), which verifies
program's state, output or behavior. In automated testing, the verification phase is often …