Dynamic Path Reduction for Software Model Checking.

Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu

Browse the full IFM paper archive.