Automatic program inversion using symbolic transducers.

Qinheping Hu Loris D'Antoni

Published in: PLDI (2017)

Keyphrases

search algorithm
neural network
computer programs
finite automata
information retrieval
information systems
website
low level
probabilistic model
data driven
labor intensive
intermediate level
program execution
laplace transform