1. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Interruption-driven resource competition defect model and testing methodology;2022 IEEE 6th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC );2022-10-03
4. Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
5. MMFC-ART: a Fixed-size-Candidate-set Adaptive Random Testing approach based on the modified Metric-Memory tree;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12