Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization. - Yuan Zhang; Lei Qu; Yifei Wu; Leihuan Wu; Tingting Yu; Rui Chen; Weiqiang Kong (ACM Trans. Softw. Eng. Methodol., 2025)