팔로우
Yungbum Jung
Yungbum Jung
FuriosaAI
ropas.snu.ac.kr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
MeCC: memory comparison-based clone detector
H Kim, Y Jung, S Kim, K Yi
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1422011
Taming false alarms from a domain-unaware C analyzer by a bayesian statistical post analysis
Y Jung, J Kim, J Shin, K Yi
International Static Analysis Symposium, 203-217, 2005
1292005
Practical memory leak detector based on parameterized procedural summaries
Y Jung, K Yi
Proceedings of the 7th international symposium on Memory management, 131-140, 2008
742008
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
S Kong, Y Jung, C David, BY Wang, K Yi
Asian Symposium on Programming Languages and Systems, 328-343, 2010
462010
Reducing false alarms from an industrial-strength static analyzer by SVM
J Yoon, M Jin, Y Jung
2014 21st Asia-Pacific Software Engineering Conference 2, 3-6, 2014
332014
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
Y Jung, S Kong, BY Wang, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2010
212010
Predicate generation for learning-based quantifier-free loop invariant inference
Y Jung, W Lee, BY Wang, K Yi
International Conference on Tools and Algorithms for the Construction and …, 2011
182011
Identifying static analysis techniques for finding non-fix hunks in fix revisions
Y Jung, H Oh, K Yi
Proceedings of the ACM first international workshop on Data-intensive …, 2009
132009
Soonho Kong, Heejong Lee, Hakjoo Oh, Daejun Park, and Kwangkeun Yi
Y Jhee, M Jin, Y Jung, D Kim
Abstract interpretation+ impure catalysts: Our Sparrow experience …, 2008
82008
Automatically inferring loop invariants via algorithmic learning
Y Jung, S Kong, C David, BY Wang, K Yi
Mathematical Structures in Computer Science 25 (4), 892-915, 2015
62015
Soonho Kong, Bow-Yaw Wang, and Kwangkeun Yi. Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
Y Jung
Verification, Model Checking, and Abstract Interpretation, 11th …, 2010
62010
Predicate generation for learning-based quantifier-free loop invariant inference
W Lee, Y Jung, B Wang, K Yi
Logical Methods in Computer Science 8, 2012
52012
Source code analysis device, computer program for same, and recording medium thereof
HAM Hyungkil, J Yungbum
US Patent 10,496,516, 2019
22019
Soundness by static analysis and false-alarm removal by statistical analysis: Our airac experience
Y Jung, J Kim, J Shin, K Yi
Workshop on the Evaluation of Software Defect Detection Tools, 2005
22005
Inferring quantified invariants via algorithmic learning, decision procedure, and predicate abstraction
C David, Y Jung, S Kong, BY Wang, K Yi
Technical Memorandum ROSAEC-2010-007, Research On Software Analysis for …, 2010
12010
Design and Implementation of Static Program Analyzer Finding All Buffer Overrun Errors in C Programs
Y Kwang-Keun, J Yung-Bum
Journal of KIISE: Software and Applications 33 (5), 508-524, 2006
12006
of KIISE
S FeatureⅠ, D Kang, KH Kim, M Jin, Y Jung, S FeatureⅡ, C Lee, W Wang, ...
정보과학회지, 3, 2016
2016
Type-directed Automatic Generation of Open Code Multi-Staged Programs
YB Jung, WC Lee, KK Yi
Proceedings of the Korean Information Science Society Conference, 466-469, 2011
2011
Clone Detection by Comparing Abstract Memory States
H Kim, Y Jung, S Kim, K Yi
evolution 21, 6, 2010
2010
Kong Soonho
J Yungbum
Deriving Invariants by Algo-rithmic Learning, Decision Procedures, and …, 2010
2010
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20