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