maple-recursive-eiffel
Translation of the dataset `maple-recursive` to eiffel, fully specified.
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (5.3%) to scientific vocabulary
Repository
Translation of the dataset `maple-recursive` to eiffel, fully specified.
Basic Info
- Host: GitHub
- Owner: CI-CSE
- Language: Eiffel
- Default Branch: main
- Size: 6.84 KB
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
- Releases: 1
Metadata Files
README.md
maple-recursive-eiffel
This repository contains examples from https://github.com/maple-repair/recursive-benchmark translated into Eiffel and fully verified with AutoProof.
The examples were originally introduced by Thanh-Toan Nguyen, Quang-Trung Ta and Wei-Ngan Chin in "Automatic program repair using formal verification and expression templates" Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019.
This translation first appeared the paper by Li Huang, Bertrand Meyer, Ilgiz Mustafin and Manuel Oriol "Execution-free program repair" Foundations of Software Engineering, FSE 2024.
Citing
Please use the data from CITATION.cff file for citing this dataset.
On GitHub click the "Cite this repository" link on the right or use the following bibtex:
bibtex
@misc{Mustafin_maple-recursive-eiffel_2024,
author = {Mustafin, Ilgiz and Schena, Alessandro and Weber, Reto},
month = feb,
title = {{maple-recursive-eiffel}},
url = {https://github.com/CI-CSE/maple-recursive-eiffel},
year = {2024}
}
Owner
- Name: Constructor Institute - Chair of Software Engineering
- Login: CI-CSE
- Kind: organization
- Repositories: 1
- Profile: https://github.com/CI-CSE
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: maple-recursive-eiffel
message: >-
If you use this dataset, please cite it using the metadata
from this file.
type: dataset
authors:
- given-names: Ilgiz
family-names: Mustafin
email: ilgiz.mustafin@constructor.org
affiliation: Constructor Institute
orcid: "https://orcid.org/0009-0007-0476-5966"
website: "https://imustafin.tatar"
- given-names: Alessandro
family-names: Schena
email: alessandro.schena@constructor.org
affiliation: Constructor Institute
- given-names: Reto
family-names: Weber
email: reto.weber@sit.org
affiliation: Constructor Institute
repository-code: "https://github.com/CI-CSE/maple-recursive-eiffel"
abstract: >
Eiffel translations verified using AutoProof of examples
from "Automatic program repair using formal verification and expression templates"
(2019) by Thanh-Toan Nguyen et al.
keywords:
- eiffel
- autoproof
- software verification
- c
- bugs
- automatic program repair
references:
- authors:
- family-names: Nguyen
given-names: "Thanh-Toan"
- family-names: Ta
given-names: "Quang-Trung"
- family-names: Chin
given-names: "Wei-Ngan"
doi: "https://doi.org/10.1007/978-3-030-11245-5_4"
journal: >-
Verification, Model Checking, and Abstract Interpretation. VMCAI 2019
year: 2019
title: >-
Automatic Program Repair Using Formal Verification and Expression Templates
scope: "Paper which introduced the code which was translated in this dataset"
- authors:
- family-names: Huang
given-names: Li
affiliation: Constructor Institute
email: li.huang@constructor.org
orcid: "https://orcid.org/0009-0005-2051-1494"
- family-names: Meyer
given-names: Bertrand
affiliation: Constructor Institute
email: bertrand.meyer@inf.ethz.ch
orcid: "https://orcid.org/0000-0002-5985-7434"
- family-names: Mustafin
given-names: Ilgiz
email: ilgiz.mustafin@constructor.org
affiliation: Constructor Institute
orcid: "https://orcid.org/0009-0007-0476-5966"
website: "https://imustafin.tatar"
- family-names: Oriol
given-names: Manuel
affiliation: Constructor Institute
orcid: "https://orcid.org/0000-0003-4069-7626"
email: mo@constructor.org
title: "Execution-free program repair"
journal: >-
Foundations of Software Engineering, FSE 2024
year: 2024
scope: "Paper in which the translations first appeared"
license: MIT
commit: 3fbd43b5082c0cd97a5bd4ae99120335d26f7f6d
date-released: "2024-02-13"