Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
Mutation Analysis for Coq
ASE, 2019.
@inproceedings{ASE-2019-CelikPPAG,
author = "Ahmet Çelik and Karl Palmskog and Marinela Parovic and Emilio Jesús Gallego Arias and Milos Gligoric",
booktitle = "{Proceedings of the 34th International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2019.00057",
isbn = "978-1-7281-2508-4",
pages = "539--551",
publisher = "{IEEE}",
title = "{Mutation Analysis for Coq}",
year = 2019,
}