| 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 | 85 | 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 | 69 | 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 | 64 | 2014 |
| Understanding user understanding: determining correctness of generated program invariants M Staats, S Hong, M Kim, G Rothermel Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 42 | 2012 |
| A survey of race bug detection techniques for multithreaded programmes S Hong, M Kim Software Testing, Verification and Reliability 25 (3), 191-217, 2015 | 34 | 2015 |
| 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 | 33 | 2017 |
| The impact of concurrent coverage metrics on testing effectiveness S Hong, M Staats, J Ahn, M Kim, G Rothermel 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 21 | 2013 |
| Classifying False Positive Static Checker Alarms In Continuous Integration Using Convolutional Neural Networks SL Lee, S Hong, J Yi, T Kim, CJ Kim, S Yoo International Conference on Software Testing, Verification and Validation …, 2019 | 20 | 2019 |
| Effective pattern-driven concurrency bug detection for operating systems S Hong, M Kim Journal of Systems and Software 86 (2), 377-388, 2013 | 20 | 2013 |
| Target-driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection Y Kim, S Hong, M Kim ESEC/FSE 2019, 2019 | 19 | 2019 |
| Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation S Hong, M Staats, J Ahn, M Kim, G Rothermel Software Testing, Verification and Reliability 25 (4), 334-370, 2015 | 19 | 2015 |
| Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage Y Kim, S Hong, B Ko, LD Phan, M Kim 2018 11th IEEE International Conference on Software Testing, Verification …, 2018 | 16 | 2018 |
| Systematic testing of reactive software with non-deterministic events: a case study on LG electric oven Y Park, S Hong, M Kim, D Lee, J Cho International Conference on Software Engineering (ICSE) 2, 29-38, 2015 | 14 | 2015 |
| Model-based kernel testing for concurrency bugs through counter example replay M Kim, S Hong, C Hong, T Kim Electronic Notes in Theoretical Computer Science 253 (2), 21-36, 2009 | 7 | 2009 |
| Predictive Mutation Analysis via the Natural Language Channel in Source Code J Kim, J Jeon, S Hong, S Yoo ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-27, 2022 | 5 | 2022 |
| DEMINER: test generation for high test coverage through mutant exploration Y Kim, S Hong Software Testing, Verification and Reliability 31 (1-2), e1715, 2021 | 5 | 2021 |
| Empirical study of effectiveness of evosuite on the sbst 2020 tool competition benchmark RS Herlim, S Hong, Y Kim, M Kim Search-Based Software Engineering: 13th International Symposium, SSBSE 2021 …, 2021 | 2 | 2021 |
| Threats to validity in experimenting mutation-based fault localization J Jeon, S Hong Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 2 | 2020 |
| Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class S Hong Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 2 | 2020 |
| Learning-based mutant reduction using fine-grained mutation operators Y Kim, S Hong Software Testing, Verification & Reliability, 0 | 2* | |
Moonzoo KimAssociate Professor at School of Computing, KAISTVerified email at kaist.ac.kr
