Ogawa, M. “Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code”. Journal of Science and Technology on Information Security, vol. 2, no. 25, Sept. 2025, pp. 5-20, doi:10.54654/isj.v2i25.1093.