Xianchen Zheng

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Simulated Annealing

Evolutionary Algorithm

Test Generation

Top Venues

Publications

Junxian Zhang, Zhoujun Li, Xianchen Zheng
PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation. SETTA (2015)
Chunling Tong, Xiaohui Lin, Yuansheng Yang, Baosheng Zhang, Xianchen Zheng
A lower bound for 2-rainbow domination number of generalized Petersen graphs P(n, 3). Ars Comb. 102 (2011)