Automatically Repairing Binary Programs Using Adapter Synthesis.

Published in: ASE (2019)

Keyphrases

automatically generated
computer vision
functional programs
information retrieval
multi valued
real time
data mining
image processing
information extraction
high speed
fixpoint
binary data