Incrementally Discovering Testable Specifications from Program Executions.

Neil Walkinshaw John Derrick

Published in: FMCO (2009)

Keyphrases

machine learning
control flow
recursive programs
execution traces
delay insensitive
program execution
computer programs
data flow
natural language
multiscale
evolutionary algorithm
neural network
programming environment
data structure
multi agent
program synthesis
information systems
real world