Funder
National Natural Science Foundation of China
Impact Fund
Guangdong Province Science and Technology Plan Project in China
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computer Networks and Communications,Computer Science Applications,Hardware and Architecture,Information Systems,Signal Processing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient data race detection for interrupt-driven programs via path feasibility analysis;The Journal of Supercomputing;2024-06-14
2. 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
3. An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12
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