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

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...

Full description

Bibliographic Details
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
Description
Summary: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. ...

Similar Items