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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.