buggy-java-jml-eiffel
Translation of the dataset `BuggyJava+JML` 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 (6.1%) to scientific vocabulary
Repository
Translation of the dataset `BuggyJava+JML` to eiffel, fully specified.
Basic Info
- Host: GitHub
- Owner: CI-CSE
- Language: Eiffel
- Default Branch: main
- Size: 3.99 MB
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
buggy-java-jml-eiffel
This repository contains examples from https://github.com/Amirfarhad-Nilizadeh/BuggyJavaJML/tree/master translated into Eiffel and fully verified with AutoProof.
The examples were originally introduced by Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach D. Le, Corina S. Păsăreanu and David R. Cok in "Exploring true test overfitting in dynamic automated program repair using formal methods" 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
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_buggy-java-jml-eiffel_2024,
author = {Mustafin, Ilgiz and Schena, Alessandro and Weber, Reto},
month = feb,
title = {{buggy-java-jml-eiffel}},
url = {https://github.com/CI-CSE/buggy-java-jml-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: buggy-java-jml-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/buggy-java-jml-eiffel"
abstract: >
Eiffel translations verified using AutoProof of examples
from "Exploring true test overfitting in dynamic automated
program repair using formal methods." (2021) by Nilizadeh,
Amirfarhad, et al.
keywords:
- eiffel
- autoproof
- software verification
- java
- jml
- bugs
- automatic program repair
references:
- authors:
- family-names: Nilizadeh
given-names: Amirfarhad
- family-names: Leavens
given-names: "Gary T."
- family-names: Le
given-names: "Xuan-Bach D."
- family-names: Păsăreanu
given-names: "Corina S."
- family-names: Cok
given-names: "David R."
doi: "10.1109/ICST49551.2021.00033"
journal: >-
2021 14th IEEE Conference on Software Testing,
Validation and Verification (ICST)
year: 2021
title: >-
Exploring True Test Overfitting in Dynamic Automated Program
Repair using Formal Methods
license: MIT
commit: e82738bf094301ec56a20b53e9136d499b9ca41d
date-released: "2024-02-13"
GitHub Events
Total
- Delete event: 1
- Push event: 3
Last Year
- Delete event: 1
- Push event: 3