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

Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
January, 2017
Cite DOI
Type
Conference paper
Publication
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis