VFIX: Facilitating Software Maintenance of Smart Contracts via Automatically Fixing Vulnerabilities | IEEE Conference Publication | IEEE Xplore