Proof Process Evaluation with Mutation Analysis

Abstract : In the context of deductive proof, formal specification (and thus proofs) may only cover a small part of the program behaviours. We discuss the relevance of applying a mutation analysis, proposed to evaluate the quality of a test set, to evaluate if a specification is able to detect predefined types of faults.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00953392
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:46:18 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM

Links full text

Identifiers

Collections

Citation

Lydie Du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. Tests and Proofs (TAP 2010), 2010, Malaga, Spain. pp.55-60, ⟨10.1007/978-3-642-13977-2_6⟩. ⟨hal-00953392⟩

Share

Metrics

Record views

244