Hyoung Seok Hong - Concepedia

Author

Hyoung Seok Hong

Korea Advanced Institute of Science and Technology

Also Known As

Hyoung Seok Hong

Publications

568

Citations

H-Index

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology University of Ottawa University of Pennsylvania

About

Hyoung Seok Hong is an author at Korea Advanced Institute of Science and Technology specializing in computer science, engineering, and software testing.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	321
2	Computer Science	5	5	321
3	Systems Engineering	4	4	288
4	Computer Engineering	2	2	84
5	Management	1	1	93

Hyoung Seok Hong

Publications

378

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
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
Automatic Test Generation From Statecharts Using Model Checking Hyoung Seok Hong, Insup Lee, Oleg Sokolsky ScholarlyCommons (University of Pennsylvania)	2001	57
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
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking Hyoung Seok Hong, Insup Lee, Oleg Sokolsky EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	2006	33

Page 1