Mutation testing is vital for ensuring software quality. However, the presence of equivalent
mutants is known to introduce redundant cost and bias issues, hindering the effectiveness of …

Large language models~(LLMs) demonstrate significant potential to revolutionize software
engineering (SE) by exhibiting outstanding performance in SE tasks such as code and …

Software and symmetric testing methodologies are primarily used in detecting software
defects, but these testing methodologies need to be optimized to mitigate the wasting of …

gMutant is a novel mutation analyser to measure the quality of test cases. It is based on
gCov. The existing gCov outputs code coverage (line and branch). Here, we scale it up in …

Mutation testing has attracted a lot of interest because of its reputation as a powerful
adequacy criterion for test suites and for its ability to guide the test case generation …

This paper describes Meta's ACH system for mutation-guided LLM-based test generation.
ACH generates relatively few mutants (aka simulated faults), compared to traditional …

Compilers translate programs from a high level of abstraction into a low level representation
that can be understood and executed by the computer; interpreters directly execute …

Mutation testing aims to ensure that a test suite is capable of detecting real faults, by
checking whether they can reveal (ie, kill) small and arbitrary lexical changes made to the …

Mutation testing consists of evaluating how effective test suites are at detecting artificially
seeded defects in the source code, and guiding the improvement of the test suites. Although …

Mutation testing has attracted a lot of interest because of its reputation as a powerful
adequacy criterion for test suites and for its ability to guide test case generation. However …