2ndStrike: toward manifesting hidden concurrency typestate bugs Article

Gao, Qi, Zhang, Wenbin, Chen, Zhezhe et al. (2012). 2ndStrike: toward manifesting hidden concurrency typestate bugs . SIGPLAN NOTICES, 47(4), 239-250. 10.1145/2248487.1950394

cited authors

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

authors

publication date

  • June 1, 2012

published in

keywords

  • 33 Built Environment and Design
  • 46 Information and Computing Sciences
  • 4612 Software Engineering

Digital Object Identifier (DOI)

publisher

  • Association for Computing Machinery (ACM)

start page

  • 239

end page

  • 250

volume

  • 47

issue

  • 4