CURE: Automated Patch Generation for Dynamic Software Update | IEEE Conference Publication | IEEE Xplore