DMCA

Automated synthesis of symbolic instruction encodings from i/o samples (2012)

by Patrice Godefroid , Ankur Taly
Venue:Proc. of Symposium on Programming Language Design and Implementation (PLDI
Citations:10 - 2 self