Moonzoo Kim - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2573	1036
h-index	26	18
i10-index	50	33

280

140

210

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920209 24 35 41 67 98 129 89 102 98 105 113 126 154 153 171 183 180 174 198 268 33

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
Carl A. GunterProfessor of Computer Science, University of IllinoisVerified email at illinois.edu
Karthikeyan BhargavanINRIAVerified email at inria.fr
Myra B. CohenIowa State UniversityVerified email at iastate.edu
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	280	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	238	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	219	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	171	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	117	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	114	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	95	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	83	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	56	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	48	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	46	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	41	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
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	39	2002
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	36	2015
Formal verification of robot movements-a case study on home service robot shr100 M Kim, KC Kang, H Lee Proceedings of the 2005 IEEE International Conference on Robotics and …, 2005	36	2005

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