Hyoung Seok Hong

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