@inproceedings{06b8562614ea4e2c811f54d20965bb52,
title = "Towards Strengthening Formal Specifications with Mutation Model Checking",
abstract = "We propose mutation model checking as an approach to strengthen formal specifications used for model checking. Inspired by mutation testing, our approach concludes that specifications are not strong enough if they fail to detect faults in purposely mutated models. Our preliminary experiments on two case studies confirm the relevance of the problem: their specification can only detect 40% and 60% of randomly generated mutants. As a result, we propose a framework to strengthen the original specification, such that the original model satisfies the strengthened specification but the mutants do not.",
keywords = "LTL, Model checking, Mutation",
author = "Maxime Cordy and Sami Lazreg and Axel Legay and Schobbens, {Pierre Yves}",
note = "Publisher Copyright: {\textcopyright} 2023 Owner/Author.; 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023 ; Conference date: 03-12-2023 Through 09-12-2023",
year = "2023",
month = nov,
day = "30",
doi = "10.1145/3611643.3613080",
language = "English",
series = "Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
publisher = "ACM Press",
pages = "2102--2106",
editor = "Satish Chandra and Kelly Blincoe and Paolo Tonella",
booktitle = "ESEC/FSE 2023",
address = "United States",
}