Funder
National Key Research and Development Program of China
National Natural Science Foundation of China
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
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. Race Condition Error Detection in a Program Executed on a Device with Limited Memory Resources;Distributed Computing and Artificial Intelligence, Special Sessions, 19th International Conference;2023
3. Secure Bootloader for Connectivity MCU;2022 IEEE 2nd Mysore Sub Section International Conference (MysuruCon);2022-10-16
4. Quality Evaluation Method of Automatic Software Repair Using Syntax Distance Metrics;Symmetry;2022-08-22
5. Characterizing and Improving Bug-Finders with Synthetic Bugs;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03