Path exploration based on symbolic output.

Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury

Published in: SIGSOFT FSE (2011)

Keyphrases

shortest path
high level
data sets
database systems
state transition
symbolic description
real time
real world
decision trees
input data