VeriFix: Verifying your fix towards an atomicity violation. - Li, Zhuang; Yi, Qiuping; Huang, Jeff (Journal of Systems & Software, 2025)