DataDriven Equivalence Checking (2013)

by Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken
Venue:In Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications