We present MutantChick, a mutation analysis tool for Coq to be used in combination with QuickChick to evaluate the fault detection capability of propertybased testing in a proof assistant. Mutation analysis of Coq theories is implemented via metaprogramming with MetaCoq and it is by construction type-preserving.
MutantChick: Type-Preserving Mutation Analysis for Coq / M. Cavada, A. Colò, A.D.A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri, S. Perri, E. Zumpano. - [s.l] : CEUR-WS.org, 2020. - pp. 105-112 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic tenutosi a Rende nel 2020.
MutantChick: Type-Preserving Mutation Analysis for Coq
A.D.A. Momigliano
2020
Abstract
We present MutantChick, a mutation analysis tool for Coq to be used in combination with QuickChick to evaluate the fault detection capability of propertybased testing in a proof assistant. Mutation analysis of Coq theories is implemented via metaprogramming with MetaCoq and it is by construction type-preserving.
| File | Dimensione | Formato | |
|---|---|---|---|
|
short2.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
461.76 kB
Formato
Adobe PDF
|
461.76 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
