Sung Deok - Concepedia

Author

Sung Deok

Korea Advanced Institute of Science and Technology

Also Known As

H. N. Kim, Sung Deok, Sung Deok Cha, Sungdeok Cha

Publications

656

Citations

H-Index

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology University of Ottawa Korea Atomic Energy Research Institute

About

Sung Deok is an author at Korea Advanced Institute of Science and Technology specializing in engineering, systems engineering, and software testing.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	519
2	Computer Engineering	3	3	82
3	Language Studies	1	1	16
4	Management	1	1	93
5	Social Sciences	1	1	91

Sung Deok

Publications

541

Citations

H-Index

Page 1

	Year	Citations
A test sequence selection method for statecharts Hyoung Seok Hong, Young Gon Kim, Sung Deok, Software Testing Verification and Reliability Flow GraphEngineeringData FlowTest SequencesTesting Technique	2000	93
Integration and analysis of use cases using modular Petri nets in requirements engineering Woojin Lee, Sung Deok, Yong Rae Kwon IEEE Transactions on Software Engineering Software MaintenanceEngineeringModular Petri NetsRequirement ModelingSoftware Engineering	1998	91
Data flow testing as model checking Hyoung Seok Hong, Sung Deok, Insup Lee, International Conference on Software Engineering EngineeringVerificationTest Data GenerationSoftware EngineeringModel Checking	2003	88
Data flow testing as model checking Hyoung Seok Hong, Sung Deok, Insup Lee, 25th International Conference on Software Engineering, 2003. Proceedings. EngineeringVerificationTest Data GenerationSoftware EngineeringModel Checking	2003	56
Testing of object-oriented programs based on finite state machines Hyoung Seok Hong, Yong Rae Kwon, Sung Deok EngineeringClass TestingVerificationTest Data GenerationSoftware Engineering	2002	51
An empirical evaluation of six methods to detect faults in software Sun Sup So, Sung Deok, Timothy J. Shimeall, Software Testing Verification and Reliability Software MaintenanceSoftware Reliability TestingEngineeringVerificationSoftware Systems	2002	40
Empirical evaluation of a fuzzy logic-based software quality prediction model Sun Sup So, Sung Deok, Yong Rae Kwon Fuzzy Sets and Systems Total Quality ManagementSoftware MaintenanceReliabilityFuzzy LogicEngineering	2002	30
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Eunkyoung Jee, Seungjae Jeon, Sung Deok,	2010	22
Synthesis of FBD-based PLC design from NuSCR formal specification Junbeom Yoo, Sung Deok, Chang Hwoi Kim, Reliability Engineering & System Safety Industrial DesignIndustrial ElectronicsEngineeringNuscr Formal SpecificationIndustrial Engineering	2004	21
A semantics of sequence diagrams Seung Mo Cho, Hyung‐Ho Kim, Sung Deok, Information Processing Letters EngineeringDiagrammatic ReasoningOperational SemanticsAutomated ReasoningFormal Methods	2002	16

Page 1