Instant Bug Testing Service for Linux Kernel. - Yu Chen 004; Fengguang Wu; Kuanlong Yu; Lei Zhang 060; Yuheng Chen; Yang Yang 096; Junjie Mao (HPCC/EUC, 2013)