6 research outputs found
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
No full textThis 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-Artifac
Automatic and scalable detection of logical errors in functional programming assignments
No full text
