Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning
| Title: | Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning |
|---|---|
| Authors: | Li, Chao; Chen, Rui; Wang, Boxiang; Yu, Tingting; Gao, Dongdong; Yang, Mengfei |
| Source: | Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. :506-518 |
| Availability: | http://dl.acm.org/doi/10.1145/3533767.3534412 |
| Database: | ACM Full-Text Collection |