SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.

Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Reblo

Browse the full CAV paper archive.