Moonzoo Kim - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2625	1088
h-index	26	19
i10-index	51	36

280

140

210

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920207 22 34 41 67 98 125 92 101 101 107 113 125 154 155 170 187 180 174 204 270 73

Co-authors

Yunho KimSchool of Computing, KAISTVerified email at kaist.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
Myra B. CohenIowa State UniversityVerified email at iastate.edu
Carl A. GunterProfessor of Computer Science, University of IllinoisVerified email at illinois.edu
Karthikeyan BhargavanINRIAVerified email at inria.fr
Shin YooKorea Advanced Institute of Science and TechnologyVerified email at kaist.ac.kr
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	283	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	243	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	221	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	173	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	123	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	115	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	101	2010
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	84	2002
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	82	2005
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	58	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	55	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	49	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	48	1998
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	44	2013
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	43	2014
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	42	2012
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
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	38	2015
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
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	37	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