Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole. SMT-based refutation of spurious bug reports in the clang static analyzer. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 11-14, IEEE / ACM, 2019. [doi]
@inproceedings{GadelhaSC0N19,
title = {SMT-based refutation of spurious bug reports in the clang static analyzer},
author = {Mikhail Y. R. Gadelha and Enrico Steffinlongo and Lucas C. Cordeiro and Bernd Fischer 0002 and Denis A. Nicole},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3339673},
researchr = {https://researchr.org/publication/GadelhaSC0N19},
cites = {0},
citedby = {0},
pages = {11-14},
booktitle = {Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019},
editor = {Gunter Mussbacher and Joanne M. Atlee and Tevfik Bultan},
publisher = {IEEE / ACM},
}