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)