Zhunyi Xie

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Symbolic Execution

Transitive Closure

Control Program

Top Venues

Formal Aspects Comput.

Publications

Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) (2022)
Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. 33 (3) (2021)