C Li, R Chen, B Wang, Z Wang, T Yu, Y Jiang… - Proceedings of the …, 2023 - dl.acm.org
Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …