Accelerating Software Model Checking Based on Program Backbone. - Kuanjiu Zhou; Jiawei Yong; Xiaolong Wang; Longtao Ren; Gang Hou; Junwang Chang (APPT, 2013)