Kwang-Moo Choe

Publications

212

Citations

H-Index

2001

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Busan University of Foreign Studies

Sookmyung Women's University

Kwang-Moo Choe is an author at Korea Advanced Institute of Science and Technology specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal MethodsFormal VerificationSoftware EngineeringLanguageVerification

Publications per year

2001–2009

Publications

Points-to analysis for JavaScript

Dongseok Jang, Kwang-Moo Choe · 2009 · 60 citations

Engineering, Web Performance, Program Analysis +10

Interprocedural exception analysis for Java

Byeong‐Mo Chang, Jang-Wu Jo, Kwangkeun Yi et al. · 2001 · 53 citations

Engineering, Verification, Software Engineering +23

An uncaught exception analysis for Java

Jang-Wu Jo, Byeong‐Mo Chang, Kwangkeun Yi et al. · Journal of Systems and Software · 2003 · 48 citations

Reliability Engineering, Engineering, Program Analysis +10

Filtering false alarms of buffer overflow analysis using SMT solvers

Youil Kim, Jooyong Lee, Hwansoo Han et al. · Information and Software Technology · 2009 · 37 citations

Hardware Security, Engineering, Runtime Verification +14

Error repair with validation in LR-based parsing

Ik-Soon Kim, Kwang-Moo Choe · ACM Transactions on Programming Languages and Systems · 2001 · 14 citations · Full text

Syntactic Parsing, Engineering, Error Control Technique +27

Rows per page

1–5 of 5