Hyoung Seok Hong

Statistics

Publications

Citations

380

H-Index

Active since

2000

Affiliations

Korea Advanced Institute of Science and Technology(Current)

University of Pennsylvania

University of Ottawa

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

Publications per year

2000–2006

Publications

A test sequence selection method for statecharts

Hyoung Seok Hong, Young Gon Kim, Sung Deok et al. · Software Testing Verification and Reliability · 2000 · 93 citations

Computing, Systems Engineering, Diagramming +14

Data flow testing as model checking

Hyoung Seok Hong, Sung Deok, Insup Lee et al. · ScholarlyCommons (University of Pennsylvania) · 2003 · 90 citations · Full text

Computing, Computer Science, Formal Methods +11

Automatic Test Generation From Statecharts Using Model Checking

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky · ScholarlyCommons (University of Pennsylvania) · 2001 · 57 citations · Full text

Computing, Computer Science, Formal Methods +13

Data flow testing as model checking

Hyoung Seok Hong, Sung Deok, Insup Lee et al. · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 56 citations

Computing, Computer Science, Formal Methods +11

Testing of object-oriented programs based on finite state machines

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok · 2002 · 51 citations

Computing, Computer Science, Formal Methods +16

1–5 of 6