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

Publication
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Related