Published December 23, 2022 | Version v2
Dataset Open

Materials for "Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning"

Authors/Creators

  • 1. The University of Melbourne

Description

This repository contains materials including source code, datasets and results for "Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning"

Files

invalidator.zip

Files (128.5 MB)

Name Size Download all
md5:469fb65ac45133a382edda54f618a979
128.4 MB Preview Download
md5:809845a9603d18e41c903830c15932b8
1.1 kB Preview Download
md5:9f2da0cf8e37bf3d78e58b02bbeddf65
3.3 kB Preview Download