Sunbeom So, Hakjoo Oh, “SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models” [doi]