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

Thanh Le-Cong

doi:10.5281/zenodo.7475916

There is a newer version of the record available.

Published December 23, 2022 | Version v1

Dataset Open

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

Thanh Le-Cong¹

1. The University of Melbourne

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 (246.1 MB)

Name	Size	Download all
Invalidator.zip md5:15ce2a473e47b0c289e97a3482ce1a02	246.1 MB	Preview Download

262

Views

141

Downloads

Show more details

	All versions	This version
Views	262	131
Downloads	141	12
Data volume	9.6 GB	3.0 GB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: December 23, 2022
Modified: March 4, 2023

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

Authors/Creators

Description

Files

Invalidator.zip

Files (246.1 MB)