A Method for Predicting Two-variable Atomicity Violations Conference

Sun, Zhuo, Zeng, Reng, He, Xudong. (2018). A Method for Predicting Two-variable Atomicity Violations . 103-110. 10.1109/QRS.2018.00024

cited authors

  • Sun, Zhuo; Zeng, Reng; He, Xudong

authors

date/time interval

  • July 16, 2018 -

publication date

  • January 1, 2018

keywords

  • ARCHITECTURAL SUPPORT
  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology
  • atomicity violation
  • model checking
  • multi-threaded programs
  • multiple variable correlations

Digital Object Identifier (DOI)

start page

  • 103

end page

  • 110