Yungbum Jung

发表

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2011, TACAS.

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2012, Log. Methods Comput. Sci..

Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis

Kwangkeun Yi, Yungbum Jung, Jaehwang Kim, 2005, SAS.

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates

Soonho Kong, Kwangkeun Yi, Cristina David, 2010, APLAS.

Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM

Yungbum Jung, Jongwon Yoon, Minsik Jin, 2014, 2014 21st Asia-Pacific Software Engineering Conference.

Inferring quantified invariants via algorithmic learning, decision procedure, and predicate abstraction

Soonho Kong, Kwangkeun Yi, Cristina David, 2010 .

Detecting C/C++ Program Security Vulnerability Based on Static Semantic Analysis and Rule Description Language

Yungbum Jung, Minsik Jin, Yongho Yoon, 2019 .

Clone Detection by Comparing Abstract Memory States

Heejung Kim, Kwangkeun Yi, Sunghun Kim, 2010 .

Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience ⁄

Kwangkeun Yi, Yungbum Jung, Jaehwang Kim, 2005 .

MeCC: memory comparison-based clone detector

Heejung Kim, Kwangkeun Yi, Sunghun Kim, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Type-directed Automatic Generation of Open Code Multi-Staged Programs

Kwangkeun Yi, Yungbum Jung, Wonchan Lee, 2012 .

A Static Analyzer for Detecting Memory Leaks based on Procedural Summary

Kwangkeun Yi, Yungbum Jung, 2009 .

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

Soonho Kong, Kwangkeun Yi, Bow-Yaw Wang, 2010, VMCAI.

Automatically inferring loop invariants via algorithmic learning

Soonho Kong, Kwangkeun Yi, Cristina David, 2015, Math. Struct. Comput. Sci..

Practical memory leak detector based on parameterized procedural summaries

Kwangkeun Yi, Yungbum Jung, K. Yi, 2008, ISMM '08.

Identifying static analysis techniques for finding non-fix hunks in fix revisions

Hakjoo Oh, Kwangkeun Yi, Yungbum Jung, 2009, CIKM-DSMM.

Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedure, and Predicate Abstraction

Kwangkeun Yi, Yungbum Jung, 2009 .