Test automation for kernel code and disk arrays with virtual devices. - Lin-Zan Cai; Rong-Shiung Wu; Wen-Ting Huang; Farn Wang (ASE, 2007)

LTL Model Checking for Recursive Programs. - Geng-Dian Huang; Lin-Zan Cai; Farn Wang (ATVA, 2009)