Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. - Yungbum Jung; Jaehwang Kim; Jaeho Shin 001; Kwangkeun Yi (SAS, 2005)

Practical memory leak detector based on parameterized procedural summaries. - Yungbum Jung; Kwangkeun Yi (ISMM, 2008)

Identifying static analysis techniques for finding non-fix hunks in fix revisions. - Yungbum Jung; Hakjoo Oh; Kwangkeun Yi (CIKM-DSMM, 2009)

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. - Soonho Kong; Yungbum Jung; Cristina David; Bow-Yaw Wang; Kwangkeun Yi (APLAS, 2010)

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. - Yungbum Jung; Soonho Kong; Bow-Yaw Wang; Kwangkeun Yi (VMCAI, 2010)

MeCC: memory comparison-based clone detector. - Heejung Kim; Yungbum Jung; Sunghun Kim 001; Kwangkeun Yi (ICSE, 2011)

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference - Wonchan Lee; Yungbum Jung; Bow-Yaw Wang; Kwangkeun Yi (Log. Methods Comput. Sci., 2012)

Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM. - Jongwon Yoon; Minsik Jin; Yungbum Jung (APSEC (2), 2014)

Automatically inferring loop invariants via algorithmic learning. - Yungbum Jung; Soonho Kong; Cristina David; Bow-Yaw Wang; Kwangkeun Yi (Math. Struct. Comput. Sci., 2015)