VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. - Sehun Jeong; Junbeom Yoo; Sung Deok Cha (ISORC, 2010)

Testing of Safety-Critical Software Embedded in an Artificial Heart. - Sung Deok Cha; Sehun Jeong; Junbeom Yoo; Young-Gab Kim (SSS, 2011)

FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. - Junbeom Yoo; Jong-Hoon Lee; Sehun Jeong; Sung Deok Cha (SEKE, 2011)

Generating various contexts from permissions for testing Android applications. - Kwangsik Song; Ah-Rim Han; Sehun Jeong; Sung Deok Cha (SEKE, 2015)

Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. - Sooyoung Cha; Sehun Jeong; Hakjoo Oh (APLAS, 2016)

End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. - Minje Choi; Sehun Jeong; Hakjoo Oh; Jaegul Choo (IJCAI, 2017)

Data-driven context-sensitivity for points-to analysis. - Sehun Jeong; Minseok Jeon; Sung Deok Cha; Hakjoo Oh (Proc. ACM Program. Lang., 2017)

A scalable learning algorithm for data-driven program analysis. - Sooyoung Cha; Sehun Jeong; Hakjoo Oh (Inf. Softw. Technol., 2018)

Precise and scalable points-to analysis via data-driven context tunneling. - Minseok Jeon; Sehun Jeong; Hakjoo Oh (Proc. ACM Program. Lang., 2018)

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. - Minseok Jeon; Sehun Jeong; Sung Deok Cha; Hakjoo Oh (ACM Trans. Program. Lang. Syst., 2019)