Login / Signup
Towards Specification-Directed Program Repair.
Richard Shin
Illia Polosukhin
Dawn Song
Published in:
ICLR (Workshop) (2018)
Keyphrases
</>
control program
damage assessment
control flow
data sets
neural network
machine learning
high level
data structure
multi agent systems
test cases
computer programs
formal methods
programming environment
preventive maintenance