Lecheng Lyu

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Transitive Closure

Control Program

Top Venues

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)