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
Note(s): x86 architecture
OOPSLA '13
Indianapolis, Indiana, USA
ACM
New York, NY, USA
Pages 391-406
2013
Note(s): x86 architecture