Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu. Dynamic Path Reduction for Software Model Checking. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 322-336, Springer, 2009. [doi]
Abstract is missing.