Abstract [Context] Systematic Literature Reviews (SLRs) have been adopted by the Software
Engineering (SE) community for approximately 15 years to provide meaningful summaries of …

While some areas of software engineering knowledge present great advances with respect
to the automation of processes, tools, and practices, areas such as software maintenance …

Mutation testing exploits artificial faults to measure the adequacy of test suites and guide
their improvement. It has become an extremely popular testing technique as evidenced by …

Long patch validation time is a limiting factor for automated program repair (APR). Though
the duality between patch validation and mutation testing is recognized, so far there exists …

Context: Modern software development increasingly relies on software testing for an ever
more frequent delivery of high quality software. This puts high demands on the quality of the …

Greybox fuzzing and mutation testing are two popular but mostly independent fields of
software testing research that have so far had limited overlap. Greybox fuzzing, generally …

We introduce SEMu, a Dynamic Symbolic Execution technique that generates test inputs
capable of killing stubborn mutants (killable mutants that remain undetected after a …

Manual test case generation is an exhaustive and time-consuming process. However,
automated test data generation may reduce the efforts and assist in creating an adequate …

Context: Mutation analysis is a popular but costly approach to assess the quality of test
suites. One recent promising direction in reducing costs of mutation analysis is to identify …

Context: Software testing is a pivotal activity in the development of high-quality software. As
software is evolving through its life cycle, the need for a fault-revealing criterion assessing …