Detecting trivial mutant equivalences via compiler optimisations

M Kintis, M Papadakis, Y Jia, N Malevris… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
Mutation testing realises the idea of fault-based testing, ie, using artificial defects to guide
the testing process. It is used to evaluate the adequacy of test suites and to guide test case …

Faster mutation analysis via equivalence modulo states

B Wang, Y Xiong, Y Shi, L Zhang, D Hao - Proceedings of the 26th ACM …, 2017 - dl.acm.org
Mutation analysis has many applications, such as asserting the quality of test suites and
localizing faults. One important bottleneck of mutation analysis is scalability. The latest work …

How do assertions impact coverage-based test-suite reduction?

J Chen, Y Bai, D Hao, L Zhang… - … on Software Testing …, 2017 - ieeexplore.ieee.org
Code coverage is the dominant criterion in test-suite reduction. Typically, most test-suite
reduction techniques repeatedly remove tests covering code that has been covered by other …

A path-aware approach to mutant reduction in mutation testing

C Sun, F Xue, H Liu, X Zhang - Information and Software Technology, 2017 - Elsevier
Context: Mutation testing, which systematically generates a set of mutants by seeding
various faults into the base program under test, is a popular technique for evaluating the …

Applying mutation analysis on kernel test suites: An experience report

I Ahmed, C Jensen, A Groce… - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
Mutation analysis is an established technique for measuring the completeness and quality of
a test suite. Despite four decades of research on this technique, its use in large systems is …

Statement-oriented mutant reduction strategy for mutation based fault localization

Y Liu, Z Li, L Wang, Z Hu, R Zhao - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
Mutation Based Fault Localization (MBFL) is a fault localization technique based on
mutation analysis, which precisely identifies the location of fault but incurs a high execution …

Automatic detection and removal of ineffective mutants for the mutation analysis of relational database schemas

P McMinn, CJ Wright, CJ McCurdy… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
Data is one of an organization's most valuable and strategic assets. Testing the relational
database schema, which protects the integrity of this data, is of paramount importance …

Speeding-up mutation testing via data compression and state infection

Q Zhu, A Panichella, A Zaidman - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
Mutation testing is widely considered as a high-end test criterion due to the vast number of
mutants it generates. Although many efforts have been made to reduce the computational …