%0 Conference Paper %1 conf/pldi/ArztRHB15 %A Arzt, Steven %A Rasthofer, Siegfried %A Hahn, Robert %A Bodden, Eric %B SOAP@PLDI %D 2015 %E Møller, Anders %E Naik, Mayur %I ACM %K %P 1-6 %T Using targeted symbolic execution for reducing false-positives in dataflow analysis. %U http://dblp.uni-trier.de/db/conf/pldi/soap2015.html#ArztRHB15 %@ 978-1-4503-3585-0

@inproceedings{conf/pldi/ArztRHB15, added-at = {2023-12-12T19:18:24.000+0100}, author = {Arzt, Steven and Rasthofer, Siegfried and Hahn, Robert and Bodden, Eric}, biburl = {https://www.bibsonomy.org/bibtex/260994aae68290fd3d2757d24b16491f4/admin}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2015soap}, editor = {Møller, Anders and Naik, Mayur}, ee = {https://doi.org/10.1145/2771284.2771285}, interhash = {1ebddcd72fe16546b4b0aa4d31097d9e}, intrahash = {60994aae68290fd3d2757d24b16491f4}, isbn = {978-1-4503-3585-0}, keywords = {}, pages = {1-6}, publisher = {ACM}, timestamp = {2023-12-12T19:18:24.000+0100}, title = {Using targeted symbolic execution for reducing false-positives in dataflow analysis.}, url = {http://dblp.uni-trier.de/db/conf/pldi/soap2015.html#ArztRHB15}, year = 2015 }