Proof Process Evaluation with Mutation Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Proof Process Evaluation with Mutation Analysis

Résumé

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 et versions

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

Identifiants

Citer

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⟩
117 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More