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

• Main Author: Davide Basile
• Format: Other/Unknown Material
• Language: unknown
• Published: Zenodo 2021
• Subjects: mutation testing; timed automata; refinement checking; equivalent mutants; sami
• Online Access: https://doi.org/10.5281/zenodo.5749732

This is the experiments reproducibility package for the paper accepted atEmpirical 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 Axel...