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]

Possibly Related Publications

The following publications are possibly variants of this publication: