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

Full description

Bibliographic Details
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
id ftzenodo:oai:zenodo.org:5749732
record_format openpolar
spelling ftzenodo:oai:zenodo.org:5749732 2024-09-15T18:33:20+00:00 Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation Davide Basile 2021-12-02 https://doi.org/10.5281/zenodo.5749732 unknown Zenodo https://doi.org/10.5281/zenodo.5749731 https://doi.org/10.5281/zenodo.5749732 oai:zenodo.org:5749732 info:eu-repo/semantics/openAccess Creative Commons Attribution 4.0 International https://creativecommons.org/licenses/by/4.0/legalcode Empirical Software Engineering, 27(7), (2021-12-02) mutation testing timed automata refinement checking equivalent mutants info:eu-repo/semantics/other 2021 ftzenodo https://doi.org/10.5281/zenodo.574973210.5281/zenodo.5749731 2024-07-26T11:18:41Z 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 Legay. https://doi.org/10.1007/s10664-022-10149-y https://rdcu.be/dilfK This repository contains a video tutorial for reproducing the experiments. Other/Unknown Material sami Zenodo
institution Open Polar
collection Zenodo
op_collection_id ftzenodo
language unknown
topic mutation testing
timed automata
refinement checking
equivalent mutants
spellingShingle mutation testing
timed automata
refinement checking
equivalent mutants
Davide Basile
Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation
topic_facet mutation testing
timed automata
refinement checking
equivalent mutants
description 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 Legay. https://doi.org/10.1007/s10664-022-10149-y https://rdcu.be/dilfK This repository contains a video tutorial for reproducing the experiments.
format Other/Unknown Material
author Davide Basile
author_facet Davide Basile
author_sort Davide Basile
title Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation
title_short Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation
title_full Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation
title_fullStr Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation
title_full_unstemmed Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation
title_sort experiments reproducibility package for the paper static detection of equivalent mutants in real-time model-based mutation testing: an empirical evaluation
publisher Zenodo
publishDate 2021
url https://doi.org/10.5281/zenodo.5749732
genre sami
genre_facet sami
op_source Empirical Software Engineering, 27(7), (2021-12-02)
op_relation https://doi.org/10.5281/zenodo.5749731
https://doi.org/10.5281/zenodo.5749732
oai:zenodo.org:5749732
op_rights info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
op_doi https://doi.org/10.5281/zenodo.574973210.5281/zenodo.5749731
_version_ 1810475040291946496

Similar Items