Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing

Shan Lu, Soyeon Park, Yuanyuan Zhou. Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing. IEEE Trans. Software Eng., 38(4):844-860, 2012. [doi]

Abstract

Abstract is missing.