Learning Concise Models from Long Execution Traces.

Natasha Yogananda Jeppu Thomas F. Melham Daniel Kroening John O'Leary

Published in: DAC (2020)

Keyphrases

learning process
prior knowledge
execution traces
learning algorithm
learning systems
case study
reinforcement learning
online learning
learning models
learned models
accurate models
real world
domain knowledge
object oriented
data management
building blocks