Staged program repair with condition synthesis.

Fan Long Martin Rinard

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

program synthesis
functional programs
sufficient conditions
program execution
computer programs
neural network
information systems
image sequences
information retrieval
genetic algorithm
clustering algorithm
artificial neural networks
logic programs
programming environment