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

Browse the full TACAS paper archive.