Data-driven equivalence checking

Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications
OOPSLA '13
Indianapolis, Indiana, USA
ACM
New York, NY, USA
Pages 391-406
2013