Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.
Bin YuCong TianHengrui XingZuchao YangJie SuXu LuJiyu YangLiang ZhaoXiaofeng LiZhenhua DuanPublished in: ESEC/SIGSOFT FSE (2023)