Abstract semantic differencing via speculative correlation
Identifying the semantic and textual differences between two versions of a program