Automata Learning for Symbolic Execution.

Bernhard K. Aichernig Roderick Bloem Masoud Ebrahimi Martin Tappler Johannes Winter

Published in: FMCAD (2018)

Keyphrases

learning algorithm
data sets
optimal solution
symbolic execution
high level
reinforcement learning
open source