Dataset Groups Activity Stream 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. BibTex: @dataset{Yiannis_Charalambous_and_Norbert_Tihanyi_and_Ridhi_Jain_and_Youcheng_Sun_and_Mohamed_Amine_Ferrag_and_Lucas_C_Cordeiro_2024, abstract = {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.}, author = {Yiannis Charalambous and Norbert Tihanyi and Ridhi Jain and Youcheng Sun and Mohamed Amine Ferrag and Lucas C. Cordeiro}, doi = {10.57702/3i0cke1n}, institution = {No Organization}, keyword = {'Automated testing', 'C code', 'Program repair'}, month = {dec}, publisher = {TIB}, title = {ESBMC-AI dataset}, url = {https://service.tib.eu/ldmservice/dataset/esbmc-ai-dataset}, year = {2024} }
