Sign in

Synthesizing framework models for symbolic execution.

Jinseong JeonXiaokang QiuJonathan Fetter-DeggesJeffrey S. FosterArmando Solar-Lezama
Published in: ICSE (2016)
Keyphrases
  • probabilistic model
  • symbolic execution
  • search space
  • general purpose