Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang. Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 279-295, Springer, 2009. [doi]

This author has not been identified. Look up 'Yu Yang' in GoogleThis author has not been identified. Look up 'Xiaofang Chen' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Chao Wang' in Google

runs on WebDSL