A lower bound for 2-rainbow domination number of generalized Petersen graphs P(n, 3). - Chunling Tong; Xiaohui Lin 002; Yuansheng Yang; Baosheng Zhang; Xianchen Zheng (Ars Comb., 2011)

PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation. - Junxian Zhang; Zhoujun Li 001; Xianchen Zheng (SETTA, 2015)