You're currently viewing an old version of this dataset. To see the current version, click here.

ESBMC-AI dataset

A dataset of 1000 C code samples, each consisting of 20 to 50 lines of code, used to evaluate the proposed method for automatic program repair.

Data and Resources

This dataset has no data

Cite this as

Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro (2024). Dataset: ESBMC-AI dataset. https://doi.org/10.57702/3i0cke1n

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Author Yiannis Charalambous
More Authors
Norbert Tihanyi
Ridhi Jain
Youcheng Sun
Mohamed Amine Ferrag
Lucas C. Cordeiro