CRETE: A Versatile Binary-Level Concolic Testing Framework.

Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie

Browse the full FASE paper archive.