2ndStrike: toward manifesting hidden concurrency typestate bugs.

Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin

Browse the full ASPLOS paper archive.