Experiments reproducibility package for the paper static detection of equivalent mutants in real-time model-based mutation testing: an empirical evaluation

Basile D.

Mutation testing  Timed automata  Refinement checking  Equivalent mutants 

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 Axel Legay. https://doi.org/10.1007/s10664-022-10149-y https://rdcu.be/dilfK This repository contains a video tutorial for reproducing the experiments.

Metrics