Proof Process Evaluation with Mutation Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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.

Dates and versions

hal-00953392 , version 1 (28-02-2014)

Identifiers

Cite

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⟩
116 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More