Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths.

Yuanzhe Liu, Bin Yu, Ruixue Li, Cheng Wen, Xu Lu, Chu Chen, Cong Tian

Browse the full ICSE paper archive.