mCoq: mutation analysis for Coq verification projects.

Kush Jain, Karl Palmskog, Ahmet elik, Emilio Jess Gallego Arias, Milos Gligoric

Browse the full ICSE paper archive.