Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
ASE, 2008.
@inproceedings{ASE-2008-PostSKG,
author = "Hendrik Post and Carsten Sinz and Alexander Kaiser and Thomas Gorges",
booktitle = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2008.29",
pages = "188--197",
publisher = "{IEEE}",
title = "{Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking}",
year = 2008,
}