Finding code that explodes under symbolic evaluation.

James Bornholt Emina Torlak

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

search algorithm
evaluation method
neural network
case study
evaluation methods
high level
programming language
source code
evaluation process