Lazy Symbolic Execution for Enhanced Learning.

Duc-Hiep Chu Joxan Jaffar Vijayaraghavan Murali

Published in: RV (2014)

Keyphrases

learning algorithm
reinforcement learning
decision trees
search algorithm
software engineering
software development
symbolic execution