Leveraging program equivalence for adaptive program repair: Models and first results | IEEE Conference Publication | IEEE Xplore