%0 Journal Article %1 journals/iet-sen/ZhangFHCCT18 %A Zhang, Bin %A Feng, Chao %A Herrera, Adrian %A Chipounov, Vitaly %A Candea, George %A Tang, Chaojing %D 2018 %J IET Softw. %K dblp %N 6 %P 507-519 %T Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen12.html#ZhangFHCCT18 %V 12

@article{journals/iet-sen/ZhangFHCCT18, added-at = {2023-08-28T00:00:00.000+0200}, author = {Zhang, Bin and Feng, Chao and Herrera, Adrian and Chipounov, Vitaly and Candea, George and Tang, Chaojing}, biburl = {https://www.bibsonomy.org/bibtex/24b9bdb143bb840e53ae3884fca8ab89e/dblp}, ee = {https://www.wikidata.org/entity/Q114106100}, interhash = {6f31066e7a2bcf64993370dd8d9994e4}, intrahash = {4b9bdb143bb840e53ae3884fca8ab89e}, journal = {IET Softw.}, keywords = {dblp}, number = 6, pages = {507-519}, timestamp = {2024-04-09T06:03:31.000+0200}, title = {Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen12.html#ZhangFHCCT18}, volume = 12, year = 2018 }