MutantChick: Type-Preserving Mutation Analysis for Coq. - Matteo Cavada; Andrea Colò; Alberto Momigliano (CILC, 2020)