Amrani, Moussa

Ortiz Vega, James Jerson

Perrouin, Gilles

Schobbens, Pierre-Yves

Crossref

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Mutation testing relies on the principle of artificially injecting faults in systems to create mutants, in order to either assess the sensitivity of existing test suites, or generate test cases that are able to find real faults. Mutation testing has been employed in a variety of application areas and at various levels of abstraction (code and models). In this paper, we focus on model-based mutation testing for timed systems. In order to cartography the field, we provide a taxonomy of mutation operators and discuss their usages on various formalisms, such as timed automata or synchronous languages. We also delineate a research agenda for the field addressing mutation costs, the impact of delays in operators specification and mutation equivalence

Repository of the University of Namur

Model-based Mutation Operators for Timed Systems:A Taxonomy and Research Agenda

English

https://pure.unamur.be/ws/files/37360055/model_based_mutation_9.pdf

Model-based Mutation Operators for Timed Systems:A Taxonomy and Research Agenda

Abstract

Similar works

Full text

Available Versions

Crossref

Repository of the University of Namur

Repository of the University of Namur