Inferring Program Extensions from Traces.

Roman Manevich Sharon Shoham

Published in: ICGI (2018)

Keyphrases

execution traces
program execution
genetic algorithm
high level
expert systems
evolutionary algorithm
three dimensional
image sequences
data structure
search algorithm
artificial neural networks
default theories
control program