Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 11:46:18 AM
Last modification on : Wednesday, July 6, 2022 - 4:20:29 AM

Links full text




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⟩



Record views