Mahdi Eslamimehr, Mohsen Lesani. AtomChase: Directed search towards atomicity violations. In 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015. pages 12-23, IEEE, 2015. [doi]
Abstract is missing.