Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, Katsuro Inoue. An effective method to control interrupt handler for data race detection. In Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer, editors, The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa. pages 79-86, ACM, 2010. [doi]
Abstract is missing.