Bailey, J., & Nicholas, C. (2025). Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis.
Chicago Style (17th ed.) CitationBailey, Joshua, and Charles Nicholas. Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis. 2025.
MLA (9th ed.) CitationBailey, Joshua, and Charles Nicholas. Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis. 2025.
Warning: These citations may not always be 100% accurate.