Accelerating Software Model Checking Based on Program Backbone - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang. Accelerating Software Model Checking Based on Program Backbone. In Chenggang Wu, Albert Cohen, editors, Advanced Parallel Processing Technologies - 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers. Volume 8299 of Lecture Notes in Computer Science, pages 347-358, Springer, 2013. [doi]

This author has not been identified. Look up 'Kuanjiu Zhou' in GoogleThis author has not been identified. Look up 'Jiawei Yong' in GoogleThis author has not been identified. Look up 'Xiaolong Wang' in GoogleThis author has not been identified. Look up 'Longtao Ren' in GoogleThis author has not been identified. Look up 'Gang Hou' in GoogleThis author has not been identified. Look up 'Junwang Chang' in Google

runs on WebDSL