Testing of Object-Oriented Programs Based on Finite State Machines. - Hyoung Seok Hong; Yong Rae Kwon; Sung Deok Cha (APSEC, 1995)

An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. - Sun Sup So; Yongseop Lim; Sung Deok Cha; Yong Rae Kwon (APSEC, 1995)

Safety Analysis Using Coloured Petri Nets. - Seung Mo Cho; Hyoung Seok Hong; Sung Deok Cha (APSEC, 1996)

Specification and analysis of real-time systems in Statecharts. - Sung Deok Cha; Hyoung Seok Hong (WORDS, 1996)

Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. - Gwang Sik Yoon; Sung Deok Cha; Yong Rae Kwon; Chan Hyung Yoo (APSEC, 1997)

On the concurrent behaviour of SCR specifications. - Hyoung Seok Hong; Sung Deok Cha; Yong Rae Kwon (COMPSAC, 1997)

Task.o object modeling approach for robot workcell programming. - Gyu-Tae Kim; Sung Deok Cha; Doo-Hwan Bae (COMPSAC, 1997)

Behavior verification of hybrid real-time requirements by qualitative formalism. - Jang-Soo Lee; Sung Deok Cha (RTCSA, 1997)

Towards Reusable Colored Petri Nets. - Nam Hee Lee; Jang-Eui Hong; Sung Deok Cha; Doo-Hwan Bae (PDSE, 1998)

Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon (IEEE Trans. Software Eng., 1998)

Applying Model Checking to Concurrent Object-Oriented Software. - Seung Mo Cho; Doo-Hwan Bae; Sung Deok Cha; Young Gon Kim; Byung Kyu Yoo; Sang Taek Kim (ISADS, 1999)

Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). - Joon-Sang Lee; Tae-Ho Kim; Gwang Sik Yoon; Jang-Eui Hong; Sung Deok Cha; Doo-Hwan Bae (ISADS, 1999)

Safety Verification of Ada95 Programs Using Software Fault Trees. - Sang-Yoon Min; Yoon-Kyu Jan; Sung Deok Cha; Yong Rae Kwon; Doo-Hwan Bae (SAFECOMP, 1999)

Test cases generation from UML state diagrams. - Young Gon Kim; Hyoung Seok Hong; Doo-Hwan Bae; Sung Deok Cha (IEE Proc. Softw., 1999)

A Slicing-based Approach to Enhance Petri Net Reachability Analysis. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon; H. N. Kim (J. Res. Pract. Inf. Technol., 2000)

A test sequence selection method for statecharts. - Hyoung Seok Hong; Young Gon Kim; Sung Deok Cha; Doo-Hwan Bae; Hasan Ural (Softw. Test. Verification Reliab., 2000)

Specification and validation of dynamic systems using temporal logic. - Seung Mo Cho; Hyung Ho Kim; Sung Deok Cha; Doo-Hwan Bae (IEE Proc. Softw., 2001)

Extending the SCR Method for Real-Time Systems. - Hyoung Seok Hong; Seung Mo Cho; Sung Deok Cha; Yong Rae Kwon (Real Time Syst., 2001)

Automated structural analysis of SCR-style software requirements specifications using PVS. - Taeho Kim; Sung Deok Cha (Softw. Test. Verification Reliab., 2001)

Construction of global finite state machine for testing task interactions written in message sequence charts. - Nam Hee Lee; Tai Hyo Kim; Sung Deok Cha (SEKE, 2002)

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. - Taeho Kim; David W. J. Stringer-Calvert; Sung Deok Cha (TACAS, 2002)

Empirical evaluation of a fuzzy logic-based software quality prediction model. - Sun Sup So; Sung Deok Cha; Yong Rae Kwon (Fuzzy Sets Syst., 2002)

A semantics of sequence diagrams. - Seung Mo Cho; Hyung-Ho Kim; Sung Deok Cha; Doo-Hwan Bae (Inf. Process. Lett., 2002)

An empirical evaluation of six methods to detect faults in software. - Sun Sup So; Sung Deok Cha; Timothy J. Shimeall; Yong Rae Kwon (Softw. Test. Verification Reliab., 2002)

Data Flow Testing as Model Checking. - Hyoung Seok Hong; Sung Deok Cha; Insup Lee 001; Oleg Sokolsky; Hasan Ural (ICSE, 2003)

Generating test sequences from a set of MSCs. - Nam Hee Lee; Sung Deok Cha (Comput. Networks, 2003)

Generating test sequences using symbolic execution for event-driven real-time systems. - Nam Hee Lee; Sung Deok Cha (Microprocess. Microsystems, 2003)

Systematic evaluation of fault trees using real-time model checker UPPAAL. - Sung Deok Cha; Han Seong Son; Junbeom Yoo; Eunkyoung Jee; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2003)

Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). - Seo Ryong Koo; Poong-Hyun Seong; Sung Deok Cha (HASE, 2004)

An integrated environment of S/W specification and V&V for safety-critical systems. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Cheong Youn; Hyun-chul Han (IASTED Conf. on Software Engineering, 2004)

Web Server Attack Categorization based on Root Causes and Their Locations. - Jeongseok Seo; Han-Sung Kim; Sanghyun Cho; Sung Deok Cha (ITCC (1), 2004)

PLC-Based Safety Critical Software Development for Nuclear Power Plants. - Junbeom Yoo; Sung Deok Cha; Han Seong Son; Chang Hwoi Kim; Jang-Soo Lee (SAFECOMP, 2004)

NuEditor - A Tool Suite for Specification and Verification of NuSCR. - Jaemyung Cho; Junbeom Yoo; Sung Deok Cha (SERA, 2004)

Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method. - Nam Hee Lee; Sung Deok Cha (J. Res. Pract. Inf. Technol., 2004)

SAD: web session anomaly detection based on parameter estimation. - Sanghyun Cho; Sung Deok Cha (Comput. Secur., 2004)

Efficient Masquerade Detection Using SVM Based on Common Command Frequency in Sliding Windows. - Han-Sung Kim; Sung Deok Cha (IEICE Trans. Inf. Syst., 2004)

Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. - Taeho Kim; Sung Deok Cha (Reliab. Eng. Syst. Saf., 2004)

Control and Data Flow Testing on Function Block Diagrams. - Eunkyoung Jee; Junbeom Yoo; Sung Deok Cha (SAFECOMP, 2005)

Empirical evaluation of SVM-based masquerade detection using UNIX commands. - Han-Sung Kim; Sung Deok Cha (Comput. Secur., 2005)

A formal software requirements specification method for digital nuclear plant protection systems. - Junbeom Yoo; Tai Hyo Kim; Sung Deok Cha; Jang-Soo Lee; Han Seong Son (J. Syst. Softw., 2005)

Formal verification of functional properties of a SCR-style software requirements specification using PVS. - Taeho Kim; David W. J. Stringer-Calvert; Sung Deok Cha (Reliab. Eng. Syst. Saf., 2005)

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Yeong Jae Yoo (Reliab. Eng. Syst. Saf., 2005)

Fault tree construction of hybrid system requirements using qualitative formal method. - Jang-Soo Lee; Sung Deok Cha (Reliab. Eng. Syst. Saf., 2005)

Software safety analysis of function block diagrams using fault trees. - Younju Oh; Junbeom Yoo; Sung Deok Cha; Han Seong Son (Reliab. Eng. Syst. Saf., 2005)

Synthesis of FBD-based PLC design from NuSCR formal specification. - Junbeom Yoo; Sung Deok Cha; Chang Hwoi Kim; Duck Yong Song (Reliab. Eng. Syst. Saf., 2005)

Testing of Timer Function Blocks in FBD. - Eunkyoung Jee; Seungjae Jeon; Hojung Bang; Sung Deok Cha; Junbeom Yoo; Gee-Yong Park; Kee-Choon Kwon (APSEC, 2006)

Timed High-Level Message Sequence Charts for Real-Time System Design. - Tai Hyo Kim; Sung Deok Cha (SAM, 2006)

Masquerade detection based on SVM and sequence-based user commands profile. - Jeongseok Seo; Sung Deok Cha (AsiaCCS, 2007)

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. - Hojung Bang; Tai Hyo Kim; Sung Deok Cha (ISORC, 2007)

A Verification Framework for FBD Based Software in Nuclear Power Plants. - Junbeom Yoo; Sung Deok Cha; Eunkyoung Jee (APSEC, 2008)

Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract). - Junsup Lee; Sung Deok Cha (RAID, 2008)

ADAM: Web Anomaly Detection Assistant Based on Feature Matrix. - Sung Deok Cha; Junsup Lee; Sangrok Kim; Sanghyun Cho (QSIC, 2009)

Classification of web robots: An empirical study based on over one billion requests. - Junsup Lee; Sung Deok Cha; Dongkun Lee; Hyungkyu Lee (Comput. Secur., 2009)

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time. - Jong-In Lee; Hojung Bang; Tai Hyo Kim; Sung Deok Cha (IEICE Trans. Inf. Syst., 2009)

A data flow-based structural testing technique for FBD programs. - Eunkyoung Jee; Junbeom Yoo; Sung Deok Cha; Doo-Hwan Bae (Inf. Softw. Technol., 2009)

Formal Modeling and Verification of Safety-Critical Software. - Junbeom Yoo; Eunkyoung Jee; Sung Deok Cha (IEEE Softw., 2009)

Customization of Scrum Methodology for Outsourced E-Commerce Projects. - Nayoung Hong; Junbeom Yoo; Sung Deok Cha (APSEC, 2010)

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. - Sehun Jeong; Junbeom Yoo; Sung Deok Cha (ISORC, 2010)

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. - Eunkyoung Jee; Suin Kim; Sung Deok Cha; Insup Lee 001 (SAFECOMP, 2010)

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. - Eunkyoung Jee; Seungjae Jeon; Sung Deok Cha; Kwang Yong Koh; Junbeom Yoo; Gee-Yong Park; Poong-Hyun Seong (J. Res. Pract. Inf. Technol., 2010)

A systematic representation of path constraints for implicit path enumeration technique. - Tai Hyo Kim; Hojung Bang; Sung Deok Cha (Softw. Test. Verification Reliab., 2010)

Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. - Han Choi; Sung Deok Cha; Jae Yeon Jo; Junbeom Yoo; Hae Young Lee; Wontae Kim 001 (FGIT-CA/CES3, 2011)

Testing of Safety-Critical Software Embedded in an Artificial Heart. - Sung Deok Cha; Sehun Jeong; Junbeom Yoo; Young-Gab Kim (SSS, 2011)

FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. - Junbeom Yoo; Jong-Hoon Lee; Sehun Jeong; Sung Deok Cha (SEKE, 2011)

A safety-focused verification using software fault trees. - Sung Deok Cha; Junbeom Yoo (Future Gener. Comput. Syst., 2012)

ASA: Agent-based secure ARP cache management. - Myeongjin Oh; Young-Gab Kim; Seungpyo Hong; Sung Deok Cha (IET Commun., 2012)

Web robot detection based on pattern-matching technique. - Shinil Kwon; Young-Gab Kim; Sung Deok Cha (J. Inf. Sci., 2012)

Threat scenario-based security risk analysis using use case modeling in information systems. - Young-Gab Kim; Sung Deok Cha (Secur. Commun. Networks, 2012)

A quantitative approach to estimate a website security risk using whitelist. - Young-Gab Kim; Min-Soo Lee; Sanghyun Cho; Sung Deok Cha (Secur. Commun. Networks, 2012)

Automatic and lightweight grammar generation for fuzz testing. - Su Yong Kim; Sung Deok Cha; Doo-Hwan Bae (Comput. Secur., 2013)

PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors. - Jeongseok Seo; Sung Deok Cha; Bin Zhu 008; Doo-Hwan Bae (IEICE Trans. Inf. Syst., 2013)

Automated test case generation for FBD programs implementing reactor protection system software. - Eunkyoung Jee; Donghwan Shin 001; Sung Deok Cha; Jang-Soo Lee; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2014)

Generating various contexts from permissions for testing Android applications. - Kwangsik Song; Ah-Rim Han; Sehun Jeong; Sung Deok Cha (SEKE, 2015)

An efficient approach to identify multiple and independent Move Method refactoring candidates. - Ah-Rim Han; Doo-Hwan Bae; Sung Deok Cha (Inf. Softw. Technol., 2015)

A Paradigm Shift for the CAPTCHA Race: Adding Uncertainty to the Process. - Shinil Kwon; Sung Deok Cha (IEEE Softw., 2016)

CAPTCHA-based image annotation. - Shinil Kwon; Sung Deok Cha (Inf. Process. Lett., 2017)

Data-driven context-sensitivity for points-to analysis. - Sehun Jeong; Minseok Jeon; Sung Deok Cha; Hakjoo Oh (Proc. ACM Program. Lang., 2017)

Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification. - Ah-Rim Han; Sung Deok Cha (IEEE Trans. Software Eng., 2018)

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. - Minseok Jeon; Sehun Jeong; Sung Deok Cha; Hakjoo Oh (ACM Trans. Program. Lang. Syst., 2019)