Jason Belt, Robby, Xianghua Deng. Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. In Hans van Vliet, Valérie Issarny, editors, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009. pages 355-364, ACM, 2009. [doi]
@inproceedings{BeltRD09,
title = {Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses},
author = {Jason Belt and Robby and Xianghua Deng},
year = {2009},
doi = {10.1145/1595696.1595762},
url = {http://doi.acm.org/10.1145/1595696.1595762},
tags = {optimization, rule-based},
researchr = {https://researchr.org/publication/BeltRD09},
cites = {0},
citedby = {0},
pages = {355-364},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009},
editor = {Hans van Vliet and Valérie Issarny},
publisher = {ACM},
isbn = {978-1-60558-001-2},
}