Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning.

Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang

Browse the full ISSTA paper archive.