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.
You can also access this registry using the API (see API Docs).