Wei Le, Jing Yang 0003, Mary Lou Soffa, Kamin Whitehouse. Lazy preemption to enable path-based analysis of interrupt-driven code. In Kurt Geihs, Kay Römer, Luca Mottola, Gian Pietro Picco, editors, Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, Waikiki, Honolulu, HI, USA, May 22, 2011. pages 43-48, ACM, 2011. [doi]
Abstract is missing.