Automated synthesis of symbolic instruction encodings from I/O samples
Patrice Godefroid, Ankur Taly[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '12
Beijing, China
ACM
New York, NY, USA
Pages 441-452
2012
Note(s): ISA specification
PLDI '12
Beijing, China
ACM
New York, NY, USA
Pages 441-452
2012
Note(s): ISA specification