VeriFix: Verifying your fix towards an atomicity violation.
Saved in:
| Title: | VeriFix: Verifying your fix towards an atomicity violation. |
|---|---|
| Authors: | Li, Zhuang1, Yi, Qiuping1, yiqiuping@bupt.edu.cn, Huang, Jeff2 |
| Source: | Journal of Systems & Software; Dec2025, Vol. 230, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01641212 |
|---|---|
| DOI: | 10.1016/j.jss.2025.112473 |
