Moonzoo Kim

Cited by

	All	Since 2016
Citations	2823	1014
h-index	27	18
i10-index	53	34

260

130

195

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 25 33 44 69 101 125 90 108 98 111 110 127 152 156 174 189 182 178 209 248 160 37

Co-authors

Yunho KimDepartment of Computer Science, Hanyang UniversityVerified email at hanyang.ac.kr
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Gregg RothermelProfessor of Computer Science, University of Nebraska - LincolnVerified email at cse.unl.edu
Kyo KangProfessor of POSTECHVerified email at postech.ac.kr
Shin HongHandong Global University, Republic of KoreaVerified email at handong.edu
Zhihong XuUniversity of Nebraska LincolnVerified email at cse.unl.edu
Shin YooKorea Advanced Institute of Science and TechnologyVerified email at kaist.ac.kr
Myra B. CohenIowa State UniversityVerified email at iastate.edu
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Karthikeyan BhargavanINRIAVerified email at inria.fr
Jaejoon LeeSenior Lecturer in the School of Computing Sciences, University of East AngliaVerified email at uea.ac.uk
Joel M EspositoProfessor of Systems Engineering, US Naval AcademyVerified email at usna.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Jongmoon BaikSchool of Computing, KAISTVerified email at kaist.ac.kr

Moonzoo Kim

Associate Professor of Computer Science, KAIST

Verified email at cs.kaist.ac.kr - Homepage

Software engineering software testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Java-MaC: A run-time assurance approach for Java programs M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky Formal methods in system design 24 (2), 129-155, 2004	292	2004
Java-MaC: a run-time assurance tool for Java programs M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001	244	2001
Runtime assurance based on formal specifications I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan Parallel and Distributed Processing Techniques and Applications (PDPTA), 279-287, 1999	235	1999
Formally specified monitoring of temporal properties M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 1999	182	1999
Ask the mutants: Mutating faulty programs for fault localization S Moon, Y Kim, M Kim, S Yoo 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014	158	2014
Verisim: Formal analysis of network simulations K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ... IEEE Transactions on Software Engineering 28 (2), 129-145, 2002	122	2002
Directed test suite augmentation: techniques and tradeoffs Z Xu, Y Kim, M Kim, G Rothermel, MB Cohen ACM SIGSOFT Intl. symp. on Foundations of Software Engineering (FSE), 257-266, 2010	110	2010
Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets – a Case Study KC Kang, M Kim, J Lee, B Kim International Conference on Software Product Lines, 45-56, 2005	90	2005
Monitoring, checking, and steering of real-time systems M Kim, I Lee, U Sammapun, J Shin, O Sokolsky Electronic Notes in Theoretical Computer Science 70 (4), 95-111, 2002	86	2002
Testing concurrent programs to achieve high synchronization coverage S Hong, J Ahn, S Park, M Kim, MJ Harrold Proceedings of the 2012 International Symposium on Software Testing and …, 2012	66	2012
Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination R Alur, J Esposito, M Kim, V Kumar, I Lee International Symposium on Formal Methods, 212-232, 1999	57	1999
A monitoring and checking framework for run-time correctness assurance I Lee, H Ben-Abdallah, S Kannan, M Kim, O Sokolsky, M Viswanathan Korea-U.S. Technical Conference on Strategic Technologies,Vienna, VA …, 1998	52	1998
A scalable distributed concolic testing approach: An empirical evaluation M Kim, Y Kim, G Rothermel 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	50	2012
Automated unit testing of large industrial embedded software using concolic testing Y Kim, Y Kim, T Kim, G Lee, Y Jang, M Kim IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2013	49	2013
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE Y Kim, M Kim, YJ Kim, Y Jang 2012 34th International Conference on Software Engineering (ICSE), 1143-1152, 2012	49	2012
Detecting concurrency errors in client-side java script web applications S Hong, Y Park, M Kim 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014	47	2014
Mutation-based Fault Localization for Real-world Multilingual Programs S Hong, B Lee, T Kwak, Y Jeon, B Ko, Y Kim, M Kim IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015	45	2015
A comparative study of software model checkers as unit testing tools: An industrial case study M Kim, Y Kim, H Kim IEEE transactions on software engineering 37 (2), 146-160, 2010	40	2010
Understanding user understanding: determining correctness of generated program invariants M Staats, S Hong, M Kim, G Rothermel Proceedings of the 2012 International Symposium on Software Testing and …, 2012	38	2012
Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language M Viswanathan, M Kim International Colloquium on Theoretical Aspects of Computing, 543-556, 2004	38	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors