Author:
Wu Xueguang,Wen Yanjun,Chen Liqian,Dong Wei,Wang Ji
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
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. OS‐in‐the‐Loop verification for multi‐tasking control software;Software Testing, Verification and Reliability;2022-11-17
4. Interruption-driven resource competition defect model and testing methodology;2022 IEEE 6th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC );2022-10-03
5. 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