Using state infection conditions to detect equivalent mutants and speed up mutation analysis

Download: PDF.

“Using state infection conditions to detect equivalent mutants and speed up mutation analysis” by René Just, Michael D. Ernst, and Gordon Fraser. In Proceedings of the Dagstuhl Seminar 13021: Symbolic Methods in Testing, 2013. arXiv:1303.2784, preprint.

BibTeX entry:

@inproceedings{JustEF2013,
   author = {Ren{\'e} Just and Michael D. Ernst and Gordon Fraser},
   title = {Using state infection conditions to detect equivalent mutants
	and speed up mutation analysis},
   booktitle = {Proceedings of the Dagstuhl Seminar 13021: Symbolic
	Methods in Testing},
   volume = {abs/1303.2784},
   year = {2013},
   note = {arXiv:1303.2784, preprint}
}

Back to René Just's publications