SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software
| Title: | SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software |
|---|---|
| Authors: | Wang, Boxiang; Chen, Rui; Li, Chao; Yu, Tingting; Gao, Dongdong; Yang, Mengfei |
| Source: | Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. :801-804 |
| Availability: | http://dl.acm.org/doi/10.1145/3533767.3543295 |
| Database: | ACM Full-Text Collection |