%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 }