Medusa: Mutant Equivalence Detection Using Satisfiability Analysis

Download: PDF.

“Medusa: Mutant Equivalence Detection Using Satisfiability Analysis” by Benjamin Kushigian, Amit Rawat, and René Just. In Proceedings of the International Workshop on Mutation Analysis (Mutation), April 22 2019.

BibTeX entry:

@inproceedings{KushigianRJ2019,
   author = {Benjamin Kushigian and Amit Rawat and Ren{\'e} Just},
   title = {Medusa: Mutant Equivalence Detection Using Satisfiability
	Analysis},
   booktitle = {Proceedings of the International Workshop on Mutation
	Analysis (Mutation)},
   month = {April~22},
   year = {2019}
}

Back to René Just's publications