Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric. mCoq: mutation analysis for Coq verification projects. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020. pages 89-92, ACM, 2020. [doi]
@inproceedings{JainPCAG20, title = {mCoq: mutation analysis for Coq verification projects}, author = {Kush Jain and Karl Palmskog and Ahmet Çelik and Emilio Jesús Gallego Arias and Milos Gligoric}, year = {2020}, doi = {10.1145/3377812.3382156}, url = {https://doi.org/10.1145/3377812.3382156}, researchr = {https://researchr.org/publication/JainPCAG20}, cites = {0}, citedby = {0}, pages = {89-92}, booktitle = {ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020}, editor = {Gregg Rothermel and Doo-Hwan Bae}, publisher = {ACM}, isbn = {978-1-4503-7122-3}, }