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.5749732
https://zenodo.org/record/5749732
id ftdatacite:10.5281/zenodo.5749732
record_format openpolar
spelling ftdatacite:10.5281/zenodo.5749732 2023-10-01T03:59:15+02:00 Experiments Reproducibility package for the paper Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation ... Basile, Davide 2021 https://dx.doi.org/10.5281/zenodo.5749732 https://zenodo.org/record/5749732 unknown Zenodo https://dx.doi.org/10.5281/zenodo.5749731 Open Access Creative Commons Attribution 4.0 International https://creativecommons.org/licenses/by/4.0/legalcode cc-by-4.0 info:eu-repo/semantics/openAccess mutation testing timed automata refinement checking equivalent mutants Software article SoftwareSourceCode 2021 ftdatacite https://doi.org/10.5281/zenodo.574973210.5281/zenodo.5749731 2023-09-04T12:49:02Z 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. ... Software sami DataCite Metadata Store (German National Library of Science and Technology) Maurice ENVELOPE(-55.817,-55.817,-63.133,-63.133)
institution Open Polar
collection DataCite Metadata Store (German National Library of Science and Technology)
op_collection_id ftdatacite
language unknown
topic mutation testing
timed automata
refinement checking
equivalent mutants
spellingShingle mutation testing
timed automata
refinement checking
equivalent mutants
Basile, Davide
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 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. ...
format Software
author Basile, Davide
author_facet Basile, Davide
author_sort Basile, Davide
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://dx.doi.org/10.5281/zenodo.5749732
https://zenodo.org/record/5749732
long_lat ENVELOPE(-55.817,-55.817,-63.133,-63.133)
geographic Maurice
geographic_facet Maurice
genre sami
genre_facet sami
op_relation https://dx.doi.org/10.5281/zenodo.5749731
op_rights Open Access
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
cc-by-4.0
info:eu-repo/semantics/openAccess
op_doi https://doi.org/10.5281/zenodo.574973210.5281/zenodo.5749731
_version_ 1778532976627286016

Similar Items