Skip to Main content Skip to Navigation
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 metadatas

https://hal.inria.fr/hal-00953392
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:46:18 AM
Last modification on : Monday, July 20, 2020 - 4:24:02 PM

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

287