| 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 | 113 | 2014 |
| Directed test suite augmentation: techniques and tradeoffs Z Xu, Y Kim, M Kim, G Rothermel, MB Cohen Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 93 | 2010 |
| 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 | 46 | 2012 |
| Automated unit testing of large industrial embedded software using concolic testing Y Kim, Y Kim, T Kim, G Lee, Y Jang, M Kim 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 44 | 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 | 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 |
| Mutation-based fault localization for real-world multilingual programs (T) S Hong, B Lee, T Kwak, Y Jeon, B Ko, Y Kim, M Kim 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 35 | 2015 |
| Industrial application of concolic testing on embedded software: Case studies M Kim, Y Kim, Y Jang 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 32 | 2012 |
| Concolic testing of the multi-sector read operation for flash storage platform software M Kim, Y Kim, Y Choi Formal Aspects of Computing 24 (3), 355-374, 2012 | 31 | 2012 |
| 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 | 30 | 2011 |
| Concolic testing of the multi-sector read operation for flash memory file system M Kim, Y Kim Brazilian Symposium on Formal Methods, 251-265, 2009 | 24 | 2009 |
| Concolic testing of the multi-sector read operation for flash memory file system M Kim, Y Kim Brazilian Symposium on Formal Methods, 251-265, 2009 | 24 | 2009 |
| SCORE: a scalable concolic testing tool for reliable embedded software Y Kim, M Kim Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 23 | 2011 |
| Formal verification of a flash memory device driver–an experience report M Kim, Y Choi, Y Kim, H Kim International SPIN Workshop on Model Checking of Software, 144-159, 2008 | 23 | 2008 |
| MUSEUM: Debugging real-world multilingual programs using mutation analysis S Hong, T Kwak, B Lee, Y Jeon, B Ko, Y Kim, M Kim Information and Software Technology 82, 80-95, 2017 | 16 | 2017 |
| Directed test suite augmentation: an empirical investigation Z Xu, Y Kim, M Kim, MB Cohen, G Rothermel Software Testing, Verification and Reliability 25 (2), 77-114, 2015 | 16 | 2015 |
| Hybrid directed test suite augmentation: An interleaving framework Y Kim, Z Zu, M Kim, MB Cohen, G Rothermel 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 16 | 2014 |
| Pre-testing flash device driver through model checking techniques M Kim, Y Choi, Y Kim, H Kim 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 13 | 2008 |
| Unit testing of flash memory device driver through a SAT-based model checker M Kim, Y Kim, H Kim Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008 | 12 | 2008 |
| Precise concolic unit testing of c programs using extended units and symbolic alarm filtering Y Kim, Y Choi, M Kim Proceedings of the 40th International Conference on Software Engineering …, 2018 | 11 | 2018 |
Moonzoo KimAssociate Professor of Computer Science, KAISTVerified email at cs.kaist.ac.kr
