Matteo Cavada, Andrea Colò, Alberto Momigliano. MutantChick: Type-Preserving Mutation Analysis for Coq. In Francesco Calimeri, Simona Perri, Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Volume 2710 of CEUR Workshop Proceedings, pages 105-112, CEUR-WS.org, 2020. [doi]
Abstract is missing.