1. The S2E website. https://s2e.systems.
2. Chipounov, V., Kuznetsov, V., and Candea, G., S2E: a platform for in-vivo multi-path analysis of software systems, ACM SIGPLAN Not., 2011, vol. 46, no. 3, pp. 265–278.
3. Bellard, F., QEMU, a fast and portable dynamic translator, Proc. USENIX Annu. Technical Conf. (ATEC’05), Berkeley, CA, 2005, pp. 41–46.
4. Cadar, C., Dunbar, D., and Engler, D.R., KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, Proc. 8th USENIX Conf. on Operating Systems Design and Implementation OSDI’08, San Diego, CA, Dec. 2008, pp. 209–224.
5. The Suricata website. https://suricata.io.