Abstract semantic differencing via speculative correlation
Will you still compile me tomorrow? static cross-version compiler validation