CRETE: A Versatile Binary-Level Concolic Testing Framework. - Bo Chen 008; Christopher Havlicek; Zhenkun Yang; Kai Cong; Raghudeep Kannavara; Fei Xie 004 (FASE, 2018)

Concolic testing of SystemC designs. - Bin Lin; Kai Cong; Zhenkun Yang; Zhi-gang Liao; Tao Zhan; Christopher Havlicek; Fei Xie (ISQED, 2018)