GitHub repository: KTH/drr
Primary language: Java
Description: Tool & data on the correctness of Defects4 patches generated  by program repair tools