Automated Synthesis of Symbolic Instruction Encodings from I/O Samples. (2012)

by P Godefroid, A Taly
Venue:In Proceedings of PLDI’2012 (ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation),