Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

A wide range of code intelligence (CI) tools, powered by deep neural networks, have been
developed recently to improve programming productivity and perform program analysis. To …

Current metrics for assessing the adequacy of a test-suite plainly focus on the number of
components (be it lines, branches, paths) covered by the suite, but do not explicitly check …

Reducing the test input given to a program while preserving some property of interest is
important, eg, to localize faults or to reduce test suites. The well-known delta debugging …

Mutation testing is widely used in research (even if not in practice). Mutation testing tools
usually target only one programming language and rely on parsing a program to generate …

Probabilistic programming languages offer an intuitive way to model uncertainty by
representing complex probability models as simple probabilistic programs. Probabilistic …

Test suite reduction is an effective way to reduce the cost of regression testing by identifying
and removing redundant test cases from the original test suite. In this paper, we propose a …

With the end of conventional CMOS scaling, efficient resiliency solutions are needed to
address the increased likelihood of hardware errors. Silent data corruptions (SDCs) are …

Although a test suite is indispensable for conducting effective fault localisation, not much
work has been done to study how the test suite impacts fault localisation. This study presents …

As a software system evolves, its test suite can accumulate redundancies over time. Test
minimization aims at removing redundant test cases. However, current techniques remove …