Extension Set and the Dependent Function of System Model. - Yinai Sun; Yongquan Yu; Wen Cai; Guangqiang Li (ICICIC (1), 2006)

Transformation-based assessment for C programs. - Guangqiang Li; Weimin Wu; Yinai Sun; Jing Wang; Tianwu Lai (ISSPA, 2007)