Published September 11, 2023
| Version v1
Other
Open
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
Description
This repository contains the artifact for reproducing the main experimental results in our paper accepted to ESEC/FSE 2023: "SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models"
The artifact is also available in the Github repository: https://github.com/kupl/SmartFix-Artifact
Files
SmartFix-Artifact-fse2023.zip
Files
(2.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:93c74a2c365c030e48b0a9e62ecda672
|
2.4 MB | Preview Download |