Xiaoqi Li 0001, Xin Wang, Wenkai Li, Zongwei Li 0003. PSR²: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement. In Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering, FSE Companion 2026, Concordia University, Montreal, QC, Canada, July 5-9, 2026. pages 1297-1301, ACM, 2026. [doi]
Abstract is missing.