S. Cha

Most-cited papers

Test cases generation from UML state diagrams
Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, S. Cha
1999IEE Proceedings - Software278 citations
Semantic Scholar
Safety verification of Ada programs using software fault trees
Sang-Yoon Min, Yoon-Kyu Jan, S. Cha, Y. Kwon +1 more
1991IEEE Software197 citations
Semantic Scholar
Data flow testing as model checking
Hyoung Seok Hong, S. Cha, Insup Lee, O. Sokolsky +1 more
200325th International Conference on Software Engineering, 2003. Proceedings.126 citations
Semantic Scholar
A test sequence selection method for statecharts
Hyoung Seok Hong, Young Gon Kim, S. Cha, Doo-Hwan Bae +1 more
2000Software testing, verification & reliability106 citations
Semantic Scholar
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
Woo-Jin Lee, S. Cha, Y. Kwon
1998IEEE Trans. Software Eng.103 citations
Semantic Scholar
Testing of object-oriented programs based on finite state machines
Hyoung Seok Hong, Y. Kwon, S. Cha
1995Proceedings 1995 Asia Pacific Software Engineering Conference65 citations
Semantic Scholar
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo, T. Kim, S. Cha, Jang-Soo Lee +1 more
2005Journal of Systems and Software64 citations
Semantic Scholar
Formal Modeling and Verification of Safety-Critical Software
Junbeom Yoo, Eunkyoung Jee, S. Cha
2009IEEE Software56 citations
Semantic Scholar
A data flow-based structural testing technique for FBD programs
Eunkyoung Jee, Junbeom Yoo, S. Cha, Doo-Hwan Bae
2009Information and Software Technology50 citations
Semantic Scholar
Software safety analysis of function block diagrams using fault trees
Younju Oh, Junbeom Yoo, S. Cha, H. Son
2005Reliability Engineering & System Safety50 citations
Semantic Scholar
Empirical evaluation of a fuzzy logic-based software quality prediction model
S. So, S. Cha, Y. Kwon
2002Fuzzy Sets Syst.48 citations
Semantic Scholar
An empirical evaluation of six methods to detect faults in software
S. So, S. Cha, T. Shimeall, Y. Kwon
2002Software testing, verification & reliability48 citations
Semantic Scholar
A Verification Framework for FBD Based Software in Nuclear Power Plants
Junbeom Yoo, S. Cha, Eunkyung Jee
2008Asia-Pacific Software Engineering Conference45 citations
Semantic Scholar
Automated test case generation for FBD programs implementing reactor protection system software
Eunkyoung Jee, Donghwan Shin, S. Cha, Jang-Soo Lee +1 more
2014Software testing, verification & reliability37 citations
Semantic Scholar
VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS
Junbeom Yoo, S. Cha, Eunkyoung Jee
200937 citations
Semantic Scholar
Automatic and lightweight grammar generation for fuzz testing
S. Kim, S. Cha, Doo-Hwan Bae
2013Computers & security32 citations
Semantic Scholar
A Slicing-based Approach to Enhance Petri Net Reachability Analysis
Woo-Jin Lee, S. Cha, Y. Kwon, H. Kim
2000Journal of Research and Practice in Information Technology32 citations
Semantic Scholar
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis
Minseok Jeon, S. Jeong, S. Cha, Hakjoo Oh
2019ACM Transactions on Programming Languages and Systems27 citations
Semantic Scholar
Web server attack categorization based on root causes and their locations
Jeongseok Seo, Han-Sung Kim, Sanghyun Cho, S. Cha
2004International Conference on Information Technology27 citations
Semantic Scholar
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram
Eunkyoung Jee, Suin Kim, S. Cha, Insup Lee
2010International Conference on Computer Safety, Reliability, and Security25 citations Open access
Semantic Scholar
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems
J. Lee, S. Cha
2000IEE Proceedings - Software25 citations
Semantic Scholar
Synthesis of FBD-based PLC design from NuSCR formal specification
Junbeom Yoo, S. Cha, C. Kim, D. Song
2005Reliability Engineering & System Safety23 citations
Semantic Scholar
Automatic Test Generation from Statecharts Using Model Checking
S. Cha
200123 citations
Semantic Scholar
An efficient approach to identify multiple and independent Move Method refactoring candidates
A. Han, Doo-Hwan Bae, S. Cha
2015Information and Software Technology22 citations
Semantic Scholar
Safety analysis using coloured Petri nets
Mo-Cho Seung, Hyoung Seok Hong, S. Cha
1996Proceedings 1996 Asia-Pacific Software Engineering Conference22 citations
Semantic Scholar
A semantics of sequence diagrams
Mo-Cho Seung, Hyung-Ho Kim, S. Cha, Doo-Hwan Bae
2002Information Processing Letters20 citations
Semantic Scholar
NuEditor - A Tool Suite for Specification and Verification of NuSCR
Jaemyung Cho, Junbeom Yoo, S. Cha
2004International Conference on Software Engineering Research and Applications19 citations
Semantic Scholar
A safety-focused verification using software fault trees
S. Cha, Junbeom Yoo
2012Future generations computer systems18 citations
Semantic Scholar
Fault tree construction of hybrid system requirements using qualitative formal method
Jang-Soo Lee, S. Cha
2005Reliability Engineering & System Safety16 citations
Semantic Scholar
Systematic evaluation of fault trees using real-time model checker UPPAAL
S. Cha, H. Son, Junbeom Yoo, Eunkyoung Jee +1 more
2003Reliability Engineering & System Safety16 citations Open access
Semantic Scholar
A Hybrid Framework of Worst-Case Execution Time Analysis for Real-Time Embedded System Software
Jong-In Lee, Su-Hyun Park, Hojung Bang, T. Kim +1 more
2005IEEE Aerospace Conference15 citations
Semantic Scholar
Control and Data Flow Testing on Function Block Diagrams
Eunkyoung Jee, Junbeom Yoo, S. Cha
2005International Conference on Computer Safety, Reliability, and Security15 citations
Semantic Scholar
Generating test sequences from a set of MSCs
N. Lee, S. Cha
2003Comput. Networks15 citations
Semantic Scholar
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS
Taeho Kim, D. Stringer-Calvert, S. Cha
2002International Conference on Tools and Algorithms for Construction and Analysis of Systems14 citations
Semantic Scholar
NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICAL SYSTEMS
S. Koo, P. Seong, Junbeom Yoo, S. Cha +2 more
200613 citations
Semantic Scholar
Specification and validation of dynamic systems using temporal logic
Mo-Cho Seung, Hyung-Ho Kim, S. Cha, Doo-Hwan Bae
2001IEE Proceedings - Software13 citations Open access
Semantic Scholar
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
S. Koo, P. Seong, Junbeom Yoo, S. Cha +1 more
2005Reliability Engineering & System Safety11 citations
Semantic Scholar
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation
J. Ho, T. Kim, S. Cha
2007IEEE International Symposium on Real-Time Distributed Computing10 citations
Semantic Scholar
PLC-Based Safety Critical Software Development for Nuclear Power Plants
Junbeom Yoo, S. Cha, H. Son, C. Kim +1 more
2004International Conference on Computer Safety, Reliability, and Security10 citations
Semantic Scholar
Generating test sequences using symbolic execution for event-driven real-time systems
N. Lee, S. Cha
2003Microprocessors and microsystems10 citations
Semantic Scholar
Construction of global finite state machine for testing task interactions written in message sequence charts
N. Lee, T. Kim, S. Cha
2002International Conference on Software Engineering and Knowledge Engineering10 citations
Semantic Scholar
Automated structural analysis of SCR‐style software requirements specifications using PVS
Taeho Kim, S. Cha
2001Software testing, verification & reliability10 citations
Semantic Scholar
Towards Reusable Colored Petri Nets
N. Lee, Jang-Eui Hong, S. Cha, Doo-Hwan Bae
1998International Symposium on Software Engineering for Parallel and Distributed Systems10 citations
Semantic Scholar
Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification
A. Han, S. Cha
2018IEEE Transactions on Software Engineering8 citations
Semantic Scholar
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis
S. Jeong, Junbeom Yoo, S. Cha
2010IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing8 citations
Semantic Scholar
A Synthesis Method of Software Fault Tree from NuSCR Formal Specification using Templates
Taeho Kim, Junbeom Yoo, S. Cha
20058 citations
Semantic Scholar
Formal verification of functional properties of a SCR-style software requirements specification using PVS
Taeho Kim, D. Stringer-Calvert, S. Cha
2005Reliability Engineering & System Safety8 citations
Semantic Scholar
Generating various contexts from permissions for testing Android applications
Kwangsik Song, A. Han, S. Jeong, S. Cha
2015International Conference on Software Engineering and Knowledge Engineering7 citations Open access
Semantic Scholar
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs
Junbeom Yoo, Jong-Hoon Lee, S. Jeong, S. Cha
2011International Conference on Software Engineering and Knowledge Engineering7 citations
Semantic Scholar
Testing of Timer Function Blocks in FBD
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, S. Cha +3 more
2006Asia-Pacific Software Engineering Conference7 citations
Semantic Scholar