Zijiang Yang Bashar Al-Rawi Karem Sakallah Xiaowan Huang Scott A. Smolka Radu Grosu Dynamic Path Reduction for Software Model Checking. 322-336 2009 IFM http://dx.doi.org/10.1007/978-3-642-00255-7_22 conf/ifm/2009 db/conf/ifm/ifm2009.html#YangASHSG09