Ripples of a Mutation—An Empirical Study of Propagation Effects in Mutation Testing

H Du, VK Palepu, JA Jones - Proceedings of the IEEE/ACM 46th …, 2024 - dl.acm.org
The mechanics of how a fault reveals itself as a test failure is of keen interest to software
researchers and practitioners alike. An improved understanding of how faults translate to …

[PDF][PDF] ExLi: An Inline-Test Generation Tool for Java

Y Liu, A Thimmaiah, O Legunsen, M Gligoric - 2024 - sweetstreet.github.io
We present ExLi, a tool for automatically generating inline tests, which were recently
proposed for statement-level code validation. ExLi is the first tool to support retrofitting inline …