Synthesizing framework models for symbolic execution.

Jinseong Jeon Xiaokang Qiu Jonathan Fetter-Degges Jeffrey S. Foster Armando Solar-Lezama

Published in: ICSE (2016)

Keyphrases

probabilistic model
symbolic execution
search space
general purpose