Automatic detection and validation of race conditions in interrupt-driven embedded software.

Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li

Browse the full ISSTA paper archive.