Skip to Main content Skip to Navigation
Reports

Mutation analysis to evaluate Lustre program specifications in the context of model-checking

Lydie Du Bousquet 1
1 VASCO [?-2015] - Validation de Systèmes, Composants et Objets logiciels [?-2015]
LIG [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
Abstract : Mutation analysis is a technique used to evaluate the ad- equacy of a test set with respect to a fault model. This approach is mainly used for unit testing evaluation. It is also used to produce new test data. In this paper, we apply mutation analysis in order to evaluate the accuracy of a specification in the context of reactive program verification by model-checking.
Document type :
Reports
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-00953404
Contributor : Catherine Oriat <>
Submitted on : Monday, April 7, 2014 - 3:53:59 PM
Last modification on : Monday, July 20, 2020 - 4:24:02 PM
Long-term archiving on: : Monday, July 7, 2014 - 10:40:46 AM

File

RR-LIG-007.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00953404, version 1

Collections

Citation

Lydie Du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. [Research Report] RR-LIG-007, 2010. ⟨hal-00953404⟩

Share

Metrics

Record views

367

Files downloads

329