2ndstrike: Towardmanifesting hidden concurrency typestate bugs (2011)

by W Zhang Q Gao, M Zheng Z Chen, andF Qin
Venue:In Architectural Support for Programming Languages and Operating Systems (ASPLOS’08