Unmanned Navigation of the 1/10 Vehicle Using U-SAT. - Su Yong Kim; Soohong Park (NPC, 2007)

Estimation of Absolute Positioning of Mobile Robot Using U-SAT. - Su Yong Kim; Soohong Park (NPC, 2007)

Automatic and lightweight grammar generation for fuzz testing. - Su Yong Kim; Sung Deok Cha; Doo-Hwan Bae (Comput. Secur., 2013)

CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. - Su Yong Kim; Sangho Lee 001; Insu Yun; Wen Xu 002; Byoungyoung Lee; Youngtae Yun; Taesoo Kim (USENIX ATC, 2017)