Will you still compile me tomorrow? static cross-version compiler validation
SYMDIFF: a language-agnostic semantic diff tool for imperative programs