Multi-criteria test-suite minimization aims to remove redundant test cases from a test suite
based on some criteria such as code coverage, while trying to optimally maintain the …

Background. Regression testing is conducted after changes are made to a system in order to
ensure that these changes did not alter its expected behavior. The problem with regression …

System testing in the automotive industry is a very expensive and time-consuming task of
growing importance, because embedded systems in the domain are distributed over …

A common practice in computer science courses is to evaluate student-written test suites
against either a set of manually-seeded faults (handwritten by an instructor) or against all …

Over the past few years, SMT string solvers have found their applications in an increasing
number of domains, such as program analyses in mobile and Web applications, which …

Context: Both automated and manual software testing are widely applied in practice. While
being essential for project success and software quality, they are very resource-intensive …

Software testing is important and time-consuming. A test suite, ie, a set of test cases, plays a
key role in validating the expected program behavior. In modern test-driven development, a …

Grammar-based test case generators can quickly produce large test suites that structurally
and systematically cover the input space of a system under test. However, running these …

Test-suite minimization is one key technique for optimizing the software testing process. Due
to the need to balance multiple factors, multi-criteria test-suite minimization (MCTSM) …

Regression testing-running available tests after each project change-is widely practiced in
industry. Despite its widespread use and importance, regression testing is a costly activity …