Data-driven equivalence checking.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Browse the full OOPSLA paper archive.