A Bottom Up Approach to Model Based Program Validation.

Thomas Calder Yngve Lamo

Published in: FlexMDE@MoDELS (2016)

Keyphrases

data driven
computer programs
automatic programming
model free
data sets
program execution
magic sets
database
programming environment
computer science
reinforcement learning
case study
e learning
computer vision
machine learning
real world
neural network