Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning C Li, R Chen, B Wang, T Yu, D Gao, M Yang Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 6 | 2022 |
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software C Li, R Chen, B Wang, Z Wang, T Yu, Y Jiang, B Gu, M Yang Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 4 | 2023 |
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software B Wang, R Chen, C Li, T Yu, D Gao, M Yang Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 3 | 2022 |
Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software R Chen, T Yu, Y Jiang, C Jia, C Li, D Gao, M Yang 2020 7th International Conference on Dependable Systems and Their …, 2020 | 1 | 2020 |
intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program C Li, Z Wang, R Chen, M Yang 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023 | | 2023 |
Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software T Yu, C Jia, R Chen, C Li, B Wang, Y Jiang 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | | 2023 |