Abstract semantic differencing via speculative correlation.

Nimrod Partush, Eran Yahav

Browse the full OOPSLA paper archive.