%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 dblp %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 = {2021-10-14T00:00:00.000+0200}, author = {Arzt, Steven and Rasthofer, Siegfried and Hahn, Robert and Bodden, Eric}, biburl = {https://www.bibsonomy.org/bibtex/260994aae68290fd3d2757d24b16491f4/dblp}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2015soap}, editor = {Møller, Anders and Naik, Mayur}, ee = {https://www.wikidata.org/entity/Q105102920}, interhash = {1ebddcd72fe16546b4b0aa4d31097d9e}, intrahash = {60994aae68290fd3d2757d24b16491f4}, isbn = {978-1-4503-3585-0}, keywords = {dblp}, pages = {1-6}, publisher = {ACM}, timestamp = {2024-04-09T18:59:58.000+0200}, 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 }