Machine learning steered symbolic execution framework for complex software code. - Lei Bu; Yongjuan Liang; Zhunyi Xie; Hong Qian; Yi-Qi Hu; Yang Yu 001; Xin Chen 027; Xuandong Li (Formal Aspects Comput., 2021)

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 (TACAS (2), 2022)