Sung Deok Cha

According to our database, Sung Deok Cha authored at least 79 papers between 1995 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2018

Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification.

Ah-Rim Han, Sung Deok Cha

IEEE Trans. Software Eng., 2018

2017

Data-driven context-sensitivity for points-to analysis.

Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh

Proc. ACM Program. Lang., 2017

CAPTCHA-based image annotation.

Shinil Kwon, Sung Deok Cha

Inf. Process. Lett., 2017

2016

A Paradigm Shift for the CAPTCHA Race: Adding Uncertainty to the Process.

Shinil Kwon, Sung Deok Cha

IEEE Softw., 2016

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

Generating various contexts from permissions for testing Android applications.

Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

2014

Automated test case generation for FBD programs implementing reactor protection system software.

Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae

Softw. Test. Verification Reliab., 2014

2013

PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors.

Jeongseok Seo, Sung Deok Cha, Bin Zhu, Doo-Hwan Bae

IEICE Trans. Inf. Syst., 2013

Automatic and lightweight grammar generation for fuzz testing.

Su Yong Kim, Sung Deok Cha, Doo-Hwan Bae

Comput. Secur., 2013

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

Threat scenario-based security risk analysis using use case modeling in information systems.

Young-Gab Kim, Sung Deok Cha

Secur. Commun. Networks, 2012

Web robot detection based on pattern-matching technique.

Shinil Kwon, Young-Gab Kim, Sung Deok Cha

J. Inf. Sci., 2012

ASA: Agent-based secure ARP cache management.

Myeongjin Oh, Young-Gab Kim, Seungpyo Hong, Sung Deok Cha

IET Commun., 2012

A safety-focused verification using software fault trees.

Sung Deok Cha, Junbeom Yoo

Future Gener. Comput. Syst., 2012

2011

FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.

Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Testing of Safety-Critical Software Embedded in an Artificial Heart.

Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim

Proceedings of the Advances in Systems Safety, 2011

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

Proceedings of the Control and Automation, and Energy System Engineering, 2011

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

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

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.

Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee

Proceedings of the Computer Safety, 2010

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.

Sehun Jeong, Junbeom Yoo, Sung Deok Cha

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Customization of Scrum Methodology for Outsourced E-Commerce Projects.

Nayoung Hong, Junbeom Yoo, Sung Deok Cha

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Formal Modeling and Verification of Safety-Critical Software.

Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha

IEEE Softw., 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

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

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

ADAM: Web Anomaly Detection Assistant Based on Feature Matrix.

Sung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract).

Junsup Lee, Sung Deok Cha

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

A Verification Framework for FBD Based Software in Nuclear Power Plants.

Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.

Hojung Bang, Tai Hyo Kim, Sung Deok Cha

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Masquerade detection based on SVM and sequence-based user commands profile.

Jeongseok Seo, Sung Deok Cha

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

2006

Timed High-Level Message Sequence Charts for Real-Time System Design.

Tai Hyo Kim, Sung Deok Cha

Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Testing of Timer Function Blocks in FBD.

Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

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

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

Fault tree construction of hybrid system requirements using qualitative formal method.

Jang-Soo Lee, 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

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

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

Empirical evaluation of SVM-based masquerade detection using UNIX commands.

Han-Sung Kim, Sung Deok Cha

Comput. Secur., 2005

Control and Data Flow Testing on Function Block Diagrams.

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha

Proceedings of the Computer Safety, 2005

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

Efficient Masquerade Detection Using SVM Based on Common Command Frequency in Sliding Windows.

Han-Sung Kim, Sung Deok Cha

IEICE Trans. Inf. Syst., 2004

SAD: web session anomaly detection based on parameter estimation.

Sanghyun Cho, Sung Deok Cha

Comput. Secur., 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

NuEditor - A Tool Suite for Specification and Verification of NuSCR.

Jaemyung Cho, Junbeom Yoo, Sung Deok Cha

Proceedings of the Software Engineering Research, 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

Proceedings of the Computer Safety, 2004

Web Server Attack Categorization based on Root Causes and Their Locations.

Jeongseok Seo, Han-Sung Kim, Sanghyun Cho, Sung Deok Cha

Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 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

Proceedings of the IASTED International Conference on Software Engineering, 2004

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

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

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

Generating test sequences using symbolic execution for event-driven real-time systems.

Nam Hee Lee, Sung Deok Cha

Microprocess. Microsystems, 2003

Generating test sequences from a set of MSCs.

Nam Hee Lee, Sung Deok Cha

Comput. Networks, 2003

Data Flow Testing as Model Checking.

Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural

Proceedings of the 25th International Conference on Software Engineering, 2003

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

A semantics of sequence diagrams.

Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae

Inf. Process. Lett., 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

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.

Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Construction of global finite state machine for testing task interactions written in message sequence charts.

Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

2001

Automated structural analysis of SCR-style software requirements specifications using PVS.

Taeho Kim, Sung Deok Cha

Softw. Test. Verification Reliab., 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

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

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

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

1999

Test cases generation from UML state diagrams.

Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha

IEE Proc. Softw., 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

Proceedings of the Computer Safety, 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

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

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

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

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

Towards Reusable Colored Petri Nets.

Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

1997

Behavior verification of hybrid real-time requirements by qualitative formalism.

Jang-Soo Lee, Sung Deok Cha

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Task.o object modeling approach for robot workcell programming.

Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

On the concurrent behaviour of SCR specifications.

Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.

Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

Specification and analysis of real-time systems in Statecharts.

Sung Deok Cha, Hyoung Seok Hong

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Safety Analysis Using Coloured Petri Nets.

Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection.

Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

Testing of Object-Oriented Programs Based on Finite State Machines.

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995