| 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 | 332 | 2014 |
| 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, 129-155, 2004 | 319 | 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 | 263 | 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 | 251 | 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 | 199 | 1999 |
| 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 | 136 | 2010 |
| 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 | 129 | 2002 |
| Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets – a Case Study KC Kang, M Kim, J Lee, B Kim Software Product Lines: 9th International Conference, SPLC 2005, Rennes …, 2005 | 102 | 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 | 93 | 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 | 87 | 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 | 82 | 2015 |
| 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 | 70 | 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 | 65 | 2013 |
| Precise learn-to-rank fault localization using dynamic and static features of target programs Y Kim, S Mun, S Yoo, M Kim ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (4), 1-34, 2019 | 59 | 2019 |
| 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 | 56 | 2012 |
| 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 | 56 | 2002 |
| 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 |
| 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 | 55 | 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 | 55 | 1998 |
| A hybrid directed test suite augmentation technique Z Xu, Y Kim, M Kim, G Rothermel 2011 IEEE 22nd international symposium on software reliability engineering …, 2011 | 47 | 2011 |
Yunho KimDepartment of Computer Science, Hanyang Universityایمیل تأیید شده در hanyang.ac.kr
