1. SymNav: Visually assisting symbolic execution;Angelini,2019
2. A survey of symbolic execution techniques;Baldoni;ACM Comput. Surv.,2018
3. QEMU, a fast and portable dynamic translator;Bellard,2005
4. Reconstructing C2 servers for remote access trojans with symbolic execution;Borzacchiello,2019
5. Fuzzing symbolic expressions;Borzacchiello,2021