@inproceedings{DBLP:conf/fase/ChenHYCKX18,
 author = {Bo Chen and
Christopher Havlicek and
Zhenkun Yang and
Kai Cong and
Raghudeep Kannavara and
Fei Xie},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/fase/ChenHYCKX18.bib},
 booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, FASE 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
 doi = {10.1007/978-3-319-89363-1_16},
 editor = {Alessandra Russo and
Andy Schürr},
 pages = {281--298},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},
 title = {CRETE: A Versatile Binary-Level Concolic Testing Framework},
 url = {https://doi.org/10.1007/978-3-319-89363-1_16},
 volume = {10802},
 year = {2018}
}