Concepedia

Moonzoo Kim

MK

39

Publications

1.7K

Citations

22

H-Index

2001

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Samsung (South Korea)

University of Nebraska–Lincoln

Pohang University of Science and Technology

University of Pennsylvania

Moonzoo Kim is an author at Korea Advanced Institute of Science and Technology specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisProgram AnalysisSoftware EngineeringFormal VerificationComputer EngineeringSoftware DesignVerification

Publications per year

2001–2019

39

Publications

39

Ask the Mutants: Mutating Faulty Programs for Fault Localization

Seokhyeon Moon, Yunho Kim, Moonzoo Kim et al. · 2014 · 277 citations

Software Maintenance, Engineering, Verification +20

Java-MaC: A Run-Time Assurance Approach for Java Programs

Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan et al. · Formal Methods in System Design · 2004 · 218 citations

Software Maintenance, Java Programs, Engineering +10

Moonzoo Kim, S. Kannan, I. Lee et al. · Electronic Notes in Theoretical Computer Science · 2001 · 157 citations · Full text

Software Maintenance, Mac Architecture, Program Checking +17

Directed test suite augmentation

Zhihong Xu, Yunho Kim, Moonzoo Kim et al. · 2010 · 99 citations

Engineering, Test Data Generation, Education +20

Testing concurrent programs to achieve high synchronization coverage

Shin Hong, Jae-Min Ahn, Sangmin Park et al. · 2012 · 68 citations

Software Maintenance, Engineering, Test Coverage +23

Rows per page

1–5 of 39