Automated synthesis of symbolic instruction encodings from I/O samples.

Patrice Godefroid, Ankur Taly

Browse the full PLDI paper archive.