Benjamin Kushigian, Amit Rawat, René Just. Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. In 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi'an, China, April 22-23, 2019. pages 77-82, IEEE, 2019. [doi]
Abstract is missing.