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.
Type de document :
Communication dans un congrès
Tests and Proofs (TAP 2010), 2010, Malaga, Spain. Springer, 6143, pp.55-60, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13977-2_6〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953392
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 11:46:18
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

Collections

Citation

Lydie Du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. Tests and Proofs (TAP 2010), 2010, Malaga, Spain. Springer, 6143, pp.55-60, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13977-2_6〉. 〈hal-00953392〉

Partager

Métriques

Consultations de la notice

223