Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Tags: Automated testing Filter Results 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. Dataset JSON
