Zhunyi Xie

According to our database, Zhunyi Xie authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

2022

BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).

Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Machine learning steered symbolic execution framework for complex software code.

Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li

Formal Aspects Comput., 2021