2ndStrike: toward manifesting hidden concurrency typestate bugs

Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin. 2ndStrike: toward manifesting hidden concurrency typestate bugs. In Rajiv Gupta, Todd C. Mowry, editors, Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011. pages 239-250, ACM, 2011. [doi]

Authors

Qi Gao

This author has not been identified. Look up 'Qi Gao' in Google

Wenbin Zhang

This author has not been identified. Look up 'Wenbin Zhang' in Google

Zhezhe Chen

This author has not been identified. Look up 'Zhezhe Chen' in Google

Mai Zheng

This author has not been identified. Look up 'Mai Zheng' in Google

Feng Qin

This author has not been identified. Look up 'Feng Qin' in Google