Sign in
An empirical investigation into path divergences for concolic execution using CREST.
Ting Chen
Xiaodong Lin
Jin Huang
Abel Bacchus
Xiaosong Zhang
Published in:
Secur. Commun. Networks (2015)
Keyphrases
</>
shortest path
kullback leibler
data sets
databases
concurrent execution
real time
artificial intelligence
case study
information theoretic
active databases
optimal path
bregman divergences
plan generation
execution model