Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation ...

• Main Author: Basile, Davide
• Format: Software
• Language: unknown
• Published: Zenodo 2021
• Subjects: mutation testing; timed automata; refinement checking; equivalent mutants; Maurice; sami
• Online Access: https://dx.doi.org/10.5281/zenodo.5749731; https://zenodo.org/record/5749731

This is the experiments reproducibility package for the paper accepted at Empirical Software Engineering (EMSE): "Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation", Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy and Ax...