Concolic Unbounded-Thread Reachability via Loop Summaries.

Peizun Liu Thomas Wahl

Published in: ICFEM (2016)

Keyphrases

state space
transitive closure
data sets
decision making
text summarization
real time
machine learning
image processing
case study
data model
video data
feedback loop