Collaborated with:
B.C.0008 Z.Yang K.Cong R.Kannavara F.Xie
Talks about:
framework (1) versatil (1) concol (1) binari (1) level (1) crete (1) test (1)
Person: Christopher Havlicek
DBLP: Havlicek:Christopher
Contributed to:
Wrote 1 papers:
- FASE-2018-ChenHYCKX #framework #named #testing
- CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.