Christopher Havlicek

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Software Testing

Search Algorithm

Top Venues

Publications

Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
CRETE: A Versatile Binary-Level Concolic Testing Framework. FASE (2018)
Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie
Concolic testing of SystemC designs. ISQED (2018)