Xianchen Zheng

According to our database, Xianchen Zheng authored at least 2 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation.

Junxian Zhang, Zhoujun Li, Xianchen Zheng

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2011

A lower bound for 2-rainbow domination number of generalized Petersen graphs P(n, 3).

Chunling Tong, Xiaohui Lin, Yuansheng Yang, Baosheng Zhang, Xianchen Zheng

Ars Comb., 2011