Approximate reasoning about the semantic effects of program changes | IEEE Journals & Magazine | IEEE Xplore