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]