Moonzoo Kim

Cited by

	All	Since 2015
Citations	2726	1170
h-index	26	19
i10-index	52	37

280

140

210

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920207 23 34 44 67 98 125 92 102 101 108 115 128 155 154 174 186 181 175 206 262 160

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	289	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	245	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	225	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	175	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	141	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	118	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	106	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	86	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	60	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	56	1999
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
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	50	1998
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
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	45	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	45	2012
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	43	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	41	2010
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
Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan Electronic notes in theoretical computer science 70 (4), 80-94, 2002	38	2002

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