| Test cases generation from UML state diagrams YG Kim, HS Hong, DH Bae, SD Cha IEE Proceedings-Software 146 (4), 187-192, 1999 | 413 | 1999 |
| Data flow testing as model checking HS Hong, SD Cha, I Lee, O Sokolsky, H Ural 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 169 | 2003 |
| Integration and analysis of use cases using modular Petri nets in requirements engineering WJ Lee, SD Cha, YR Kwon IEEE Transactions on software engineering 24 (12), 1115-1130, 1998 | 143 | 1998 |
| A test sequence selection method for statecharts HS Hong, YG Kim, SD Cha, DH Bae, H Ural Software testing, verification and reliability 10 (4), 203-227, 2000 | 142 | 2000 |
| Automatic test generation from statecharts using model checking HS Hong, I Lee, O Sokolsky, SD Cha Workshop on Formal Approaches to Testing of Software (FATES), 15-30, 2001 | 119 | 2001 |
| SAD: web session anomaly detection based on parameter estimation S Cho, S Cha Computers & Security 23 (4), 312-319, 2004 | 110 | 2004 |
| A formal software requirements specification method for digital nuclear plant protection systems J Yoo, T Kim, S Cha, JS Lee, HS Son Journal of Systems and Software 74 (1), 73-83, 2005 | 95 | 2005 |
| Empirical evaluation of SVM-based masquerade detection using UNIX commands HS Kim, SD Cha Computers & Security 24 (2), 160-168, 2005 | 93 | 2005 |
| Testing of object-oriented programs based on finite state machines HS Hong, YR Kwon, SD Cha Proceedings 1995 Asia Pacific Software Engineering Conference, 234-241, 1995 | 93 | 1995 |
| Formal modeling and verification of safety-critical software J Yoo, E Jee, S Cha IEEE software 26 (3), 42-49, 2009 | 77 | 2009 |
| Method and system for storing information by using tcp communication S Kwon, S Cha, SH Jung, YG Kim US Patent App. 14/351,035, 2014 | 75 | 2014 |
| Software safety analysis of function block diagrams using fault trees Y Oh, J Yoo, S Cha, HS Son Reliability Engineering & System Safety 88 (3), 215-228, 2005 | 74 | 2005 |
| Data-driven context-sensitivity for points-to analysis S Jeong, M Jeon, S Cha, H Oh Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017 | 70 | 2017 |
| A data flow-based structural testing technique for FBD programs E Jee, J Yoo, S Cha, D Bae Information and Software Technology 51 (7), 1131-1139, 2009 | 67 | 2009 |
| Empirical evaluation of a fuzzy logic-based software quality prediction model SS So, SD Cha, YR Kwon Fuzzy Sets and Systems 127 (2), 199-208, 2002 | 61 | 2002 |
| A verification framework for FBD based software in nuclear power plants J Yoo, S Cha, E Jee 2008 15th Asia-Pacific Software Engineering Conference, 385-392, 2008 | 60 | 2008 |
| Classification of web robots: an empirical study based on over one billion requests J Lee, S Cha, D Lee, H Lee computers & security 28 (8), 795-802, 2009 | 56 | 2009 |
| Automated test case generation for FBD programs implementing reactor protection system software E Jee, D Shin, S Cha, JS Lee, DH Bae Software Testing, Verification and Reliability 24 (8), 608-628, 2014 | 54 | 2014 |
| An empirical evaluation of six methods to detect faults in software SS So, SD Cha, TJ Shimeall, YR Kwon Software Testing, Verification and Reliability 12 (3), 155-171, 2002 | 53 | 2002 |
| FBDVerifier: Interactive and visual analysis of counter-example in formal verification of function block diagram E Jee, S Jeon, S Cha, K Koh, J Yoo, G Park, P Seong Journal of Research and Practice in Information Technology 42 (3), 171-188, 2010 | 51 | 2010 |
