%0 Conference Paper %1 conf/IEEEares/LiKBL13 %A Li, Hongzhe %A Kim, Taebeom %A Bat-Erdene, Munkhbayar %A Lee, Heejo %B ARES %D 2013 %I IEEE Computer Society %K dblp %P 446-454 %T Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/IEEEares/ares2013.html#LiKBL13 %@ 978-0-7695-5008-4

@inproceedings{conf/IEEEares/LiKBL13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Li, Hongzhe and Kim, Taebeom and Bat-Erdene, Munkhbayar and Lee, Heejo}, biburl = {https://www.bibsonomy.org/bibtex/253efc9c52866a250b6d62627f3fc7e32/dblp}, booktitle = {ARES}, crossref = {conf/IEEEares/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ARES.2013.59}, interhash = {59a31a2d5aa426ac908d5f3260e7d077}, intrahash = {53efc9c52866a250b6d62627f3fc7e32}, isbn = {978-0-7695-5008-4}, keywords = {dblp}, pages = {446-454}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:36:38.000+0200}, title = {Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2013.html#LiKBL13}, year = 2013 }