Yungbum Jung

	2011
7		Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi: MeCC: memory comparison-based clone detector. ICSE 2011: 301-310
6		Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS 2011: 205-219
	2010
5		Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi: Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS 2010: 328-343
4		Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi: Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI 2010: 180-196
	2009
3		Yungbum Jung, Hakjoo Oh, Kwangkeun Yi: Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM 2009: 13-18
	2008
2		Yungbum Jung, Kwangkeun Yi: Practical memory leak detector based on parameterized procedural summaries. ISMM 2008: 131-140
	2005
1		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: 203-217

Coauthor Index

1	Cristina David	[5]
2	Heejung Kim	[7]
3	Jaehwang Kim	[1]
4	Sunghun Kim	[7]
5	Soonho Kong	[4] [5]
6	Wonchan Lee	[6]
7	Hakjoo Oh	[3]
8	Jaeho Shin	[1]
9	Bow-Yaw Wang	[4] [5] [6]
10	Kwangkeun Yi	[1] [2] [3] [4] [5] [6] [7]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page