2ndStrike: Toward Manifesting Hidden Concurrency Typestate Bugs Article

Gao, Qi, Zhang, Wenbin, Chen, Zhezhe et al. (2011). 2ndStrike: Toward Manifesting Hidden Concurrency Typestate Bugs . SIGPLAN NOTICES, 46(3), 239-250. 10.1145/1961296.1950394

Industry Collaboration

cited authors

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

authors

publication date

  • March 1, 2011

published in

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Concurrency Bugs
  • PROGRAMS
  • Reliability
  • Science & Technology
  • Software Testing
  • Technology
  • Typestate Bugs

Digital Object Identifier (DOI)

publisher

  • ASSOC COMPUTING MACHINERY

start page

  • 239

end page

  • 250

volume

  • 46

issue

  • 3