Jason Belt Robby Xianghua Deng Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. 355-364 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595762 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#BeltRD09