Using Targeted Symbolic Execution for Reducing False-positives in Dataflow Analysis (bibtex)
@inproceedings{	soap2015,
 author = {Arzt, Steven and Rasthofer, Siegfried and Hahn, Robert and Bodden, Eric},
 title = {Using Targeted Symbolic Execution for Reducing False-positives in Dataflow Analysis},
 booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
 series = {SOAP 2015},
 year = {2015},
 pages = {1--6},
 numpages = {6},
 doi = {10.1145/2771284.2771285},
 url = {http://www.bodden.de/pubs/arhb15targeted.pdf},
}
Powered by bibtexbrowser