M. Ogawa, “Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code”, ISJ, vol. 2, no. 25, pp. 5-20, Sep. 2025.