Order by Relevance Name Ascending Name Descending Last Modified Go

4 datasets found

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
  

• QuixBugs

  QuixBugs is a multi-lingual program repair benchmark set based on the Quixey Challenge.

  • Dataset
  • JSON
  

• Tufano dataset

  The Tufano dataset is used for automatic program repair. It contains buggy programs and their corresponding correct versions.

  • Dataset
  • JSON
  

• Codeflaws

  Codeflaws is a programming competition benchmark for evaluating automated program repair tools.

  • Dataset
  • JSON