Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation

Publication
Proceedings of the 7th Asia-Pacific Symposium on Internetware