Yungbum Jung

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Svm Classification

Automatically Learned

Industrial Strength

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. 25 (4) (2015)
Jongwon Yoon, Minsik Jin, Yungbum Jung
Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM. APSEC (2) (2014)
Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Log. Methods Comput. Sci. 8 (3) (2012)
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi
MeCC: memory comparison-based clone detector. ICSE (2011)
Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS (2011)
Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS (2010)
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI (2010)
Yungbum Jung, Hakjoo Oh, Kwangkeun Yi
Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM (2009)
Yungbum Jung, Kwangkeun Yi
Practical memory leak detector based on parameterized procedural summaries. ISMM (2008)
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. SAS (2005)