FAST: Formal specification driven test harness generation. - Jiong Gong; Yun Wang; Haihao Shen; Xu Deng; Wei Wang; Xiangning Ma (MEMOCODE, 2012)

Tuning parallel symbolic execution engine for better performance. - Anil Kumar Karna; Jinbo Du; Haihao Shen; Hao Zhong 001; Jiong Gong; Haibo Yu 001; Xiangning Ma; Jianjun Zhao 001 (Frontiers Comput. Sci., 2018)