Yungbum Jung

According to our database, Yungbum Jung authored at least 9 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Automatically inferring loop invariants via algorithmic learning.

Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Math. Struct. Comput. Sci., 2015

2014

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

Jongwon Yoon, Minsik Jin, Yungbum Jung

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2012

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

Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi

Log. Methods Comput. Sci., 2012

2011

MeCC: memory comparison-based clone detector.

Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

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

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Verification, 2010

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.

Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

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

Yungbum Jung, Hakjoo Oh, Kwangkeun Yi

Proceedings of the Proceeding of the ACM First International Workshop on Data-Intensive Software Management and Mining, 2009

2008

Practical memory leak detector based on parameterized procedural summaries.

Yungbum Jung, Kwangkeun Yi

Proceedings of the 7th International Symposium on Memory Management, 2008

2005

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

Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi

Proceedings of the Static Analysis, 12th International Symposium, 2005