Contract-based program repair without the contracts | IEEE Conference Publication | IEEE Xplore