Response-based state transition algorithm for protocol fuzzing - 김동혁, 金東爀 (Graduate School, Korea University, 2018)