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 submitted to 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 A...

Full description

Bibliographic Details
Main Author: Davide Basile
Format: Software
Language:unknown
Published: 2021
Subjects:
mutation testing
timed automata
refinement checking
equivalent mutants
Maurice
sami
Online Access:https://zenodo.org/record/5749732
https://doi.org/10.5281/zenodo.5749732
Description
Summary:This is the experiments reproducibility package for the paper submitted to 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. This repository contains a video tutorial for reproducing the experiments.

Similar Items