A Behavioral Analysis Approach for Efficient Partial Order Reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers. A Behavioral Analysis Approach for Efficient Partial Order Reduction. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 49-56, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Yingying Zhang' in GoogleThis author has not been identified. Look up 'Emmanuel Rodriguez' in GoogleThis author has not been identified. Look up 'Hao Zheng 0001' in GoogleThis author has not been identified. Look up 'Chris J. Myers' in Google

runs on WebDSL