%0 Journal Article %1 journals/access/HuKRC17 %A Hu, Yan %A Kong, Weiqiang %A Ren, Yizhi %A Choo, Kim-Kwang Raymond %D 2017 %J IEEE Access %K dblp %P 8752-8762 %T A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/access/access5.html#HuKRC17 %V 5

@article{journals/access/HuKRC17, added-at = {2018-11-14T00:00:00.000+0100}, author = {Hu, Yan and Kong, Weiqiang and Ren, Yizhi and Choo, Kim-Kwang Raymond}, biburl = {https://www.bibsonomy.org/bibtex/291bdc912de7b30d9c3c6e347ffebede1/dblp}, ee = {https://www.wikidata.org/entity/Q57586920}, interhash = {807bd2efb9ac94963d75ab7c244924a3}, intrahash = {91bdc912de7b30d9c3c6e347ffebede1}, journal = {IEEE Access}, keywords = {dblp}, pages = {8752-8762}, timestamp = {2018-11-15T11:38:25.000+0100}, title = {A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/access/access5.html#HuKRC17}, volume = 5, year = 2017 }