Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis. - Joshua Bailey; Charles Nicholas (CoRR, 2025)