Hyoung Seok Hong

Publication Activity (10 Years)

Years Active: 1995-2005
Publications (10 Years): 0

Publications

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM (2005)
Hyoung Seok Hong, Hasan Ural
Dependence Testing: Extending Data Flow Testing with Control Dependence. TestCom (2005)
Hyoung Seok Hong, Hasan Ural
Using Model Checking for Reducing the Cost of Test Generation. FATES (2004)
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
Data Flow Testing as Model Checking. ICSE (2003)
Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
A Temporal Logic Based Theory of Test Coverage and Generation. TACAS (2002)
Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon
Extending the SCR Method for Real-Time Systems. Real Time Syst. 20 (1) (2001)
Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural
A test sequence selection method for statecharts. Softw. Test. Verification Reliab. 10 (4) (2000)
Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha
Test cases generation from UML state diagrams. IEE Proc. Softw. 146 (4) (1999)
Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon
On the concurrent behaviour of SCR specifications. COMPSAC (1997)
Sung Deok Cha, Hyoung Seok Hong
Specification and analysis of real-time systems in Statecharts. WORDS (1996)
Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha
Safety Analysis Using Coloured Petri Nets. APSEC (1996)
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
Testing of Object-Oriented Programs Based on Finite State Machines. APSEC (1995)