APA (7th ed.) Citation

Li, Z., Yi, Q., & Huang, J. (2025). VeriFix: Verifying your fix towards an atomicity violation. Journal of Systems & Software, 230, N.PAG. https://doi.org/10.1016/j.jss.2025.112473

Chicago Style (17th ed.) Citation

Li, Zhuang, Qiuping Yi, and Jeff Huang. "VeriFix: Verifying Your Fix Towards an Atomicity Violation." Journal of Systems & Software 230 (2025): N.PAG. https://doi.org/10.1016/j.jss.2025.112473.

MLA (9th ed.) Citation

Li, Zhuang, et al. "VeriFix: Verifying Your Fix Towards an Atomicity Violation." Journal of Systems & Software, vol. 230, 2025, p. N.PAG, https://doi.org/10.1016/j.jss.2025.112473.