Authors: González, Ariel; Cristiá, Maximiliano; Luna, Carlos.
Resumen: This paper presents a work that continues previous works by the authors. The work integrates DEVS, a formalism for modeling and simulation of discrete event systems, temporal logic, model-checking and mutation, model-based testing. Properties of a DEVS model are described in temporal logic and checked with a model-checker. Then, we propose some mutants for these temporal logic formulas. The model checker is used again to generate counter examples for the mutant formulas. These counter examples could be used as the basis for the test cases with which the implementation of the DEVS model is tested.
Meeting type: Conferencia.
Type of job: Artículo Completo.
Production: Mutants for Metric Temporal Logic Formulas.
Scientific meeting: XXII Iberoamerican Conference on Software Engineering (CIbSE 2019).
Meeting place: La Habana.
It's published?: Yes
Publication place: La Habana
Meeting month: 9