Lazy preemption to enable path-based analysis of interrupt-driven code.

Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse

Browse the full ICSE paper archive.