1 dataset found

Groups: Software Engineering Organizations: No Organization Formats: JSON

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.