Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software

Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li. Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng., 48(2):346-363, 2022. [doi]

Abstract

Abstract is missing.