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

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

  • Lisbon, PORTUGAL

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