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

Location

  • PORTUGAL, Lisbon

Digital Object Identifier (DOI)

Conference

  • 18th IEEE International Conference on Software Quality, Reliability, and Security (QRS)

publisher

  • IEEE COMPUTER SOC

start page

  • 103

end page

  • 110