Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/scn/ChenLHBZ15
%A Chen, Ting
%A Lin, Xiaodong
%A Huang, Jin
%A Bacchus, Abel
%A Zhang, Xiaosong
%D 2015
%J Security and Communication Networks
%K dblp
%N 18
%P 3667-3681
%T An empirical investigation into path divergences for concolic execution using CREST.
%U http://dblp.uni-trier.de/db/journals/scn/scn8.html#ChenLHBZ15
%V 8
@article{journals/scn/ChenLHBZ15,
added-at = {2018-11-12T00:00:00.000+0100},
author = {Chen, Ting and Lin, Xiaodong and Huang, Jin and Bacchus, Abel and Zhang, Xiaosong},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29908cccb7dde2f2f963c6730c786f4f6/dblp},
ee = {https://doi.org/10.1002/sec.1290},
interhash = {124f1570857d0ce315d1ed0d22fa1cb5},
intrahash = {9908cccb7dde2f2f963c6730c786f4f6},
journal = {Security and Communication Networks},
keywords = {dblp},
number = 18,
pages = {3667-3681},
timestamp = {2019-09-27T10:54:56.000+0200},
title = {An empirical investigation into path divergences for concolic execution using CREST.},
url = {http://dblp.uni-trier.de/db/journals/scn/scn8.html#ChenLHBZ15},
volume = 8,
year = 2015
}