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 …

About a decade after the initial proposal to use model checkers for the generation of test
cases we take a look at the results in this field of research. Model checkers are formal …

Most fault localization techniques take as input a faulty program, and produce as output a
ranked list of suspicious code locations at which the program may be defective. When …

Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …

Effective debugging is crucial to producing reliable software. Manual debugging is
becoming prohibitively expensive, especially due to the growing size and complexity of …

Deep neural networks (DNN) have been deployed in many software systems to assist in
various classification tasks. In company with the fantastic effectiveness in classification …

Test case prioritization techniques schedule test cases for execution in an order that
attempts to increase their effectiveness at meeting some performance goal. Various goals …

This paper describes a new approach to testing that uses combinatorial designs to generate
tests that cover the pairwise, triple, or n-way combinations of a system's test parameters …

Regression testing is an expensive but necessary maintenance activity performed on
modified software to provide confidence that changes are correct and do not adversely affect …

Regression testing is a necessary but expensive maintenance activity aimed at showing that
code has not been adversely affected by changes. Regression test selection techniques …