| 2005 |
|---|
| 10 | EE | Hyoung Seok Hong,
Insup Lee,
Oleg Sokolsky:
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.
SCAM 2005: 25-34 |
| 9 | EE | Hyoung Seok Hong,
Hasan Ural:
Dependence Testing: Extending Data Flow Testing with Control Dependence.
TestCom 2005: 23-39 |
| 2004 |
|---|
| 8 | EE | Hyoung Seok Hong,
Hasan Ural:
Using Model Checking for Reducing the Cost of Test Generation.
FATES 2004: 110-124 |
| 2003 |
|---|
| 7 | EE | Hyoung Seok Hong,
Sung Deok Cha,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
Data Flow Testing as Model Checking.
ICSE 2003: 232-243 |
| 2002 |
|---|
| 6 | EE | Hyoung Seok Hong,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation.
TACAS 2002: 327-341 |
| 2001 |
|---|
| 5 | | Hyoung Seok Hong,
Seung Mo Cho,
Sung Deok Cha,
Yong Rae Kwon:
Extending the SCR Method for Real-Time Systems.
Real-Time Systems 20(1): 27-49 (2001) |
| 2000 |
|---|
| 4 | | Hyoung Seok Hong,
Young Gon Kim,
Sung Deok Cha,
Doo-Hwan Bae,
Hasan Ural:
A test sequence selection method for statecharts.
Softw. Test., Verif. Reliab. 10(4): 203-227 (2000) |
| 1997 |
|---|
| 3 | EE | Hyoung Seok Hong,
Sung Deok Cha,
Yong Rae Kwon:
On the concurrent behaviour of SCR specifications.
COMPSAC 1997: 258-263 |
| 1996 |
|---|
| 2 | EE | Seung Mo Cho,
Hyoung Seok Hong,
Sung Deok Cha:
Safety Analysis Using Coloured Petri Nets.
APSEC 1996: 176-193 |
| 1995 |
|---|
| 1 | EE | Hyoung Seok Hong,
Yong Rae Kwon,
Sung Deok Cha:
Testing of Object-Oriented Programs Based on Finite State Machines.
APSEC 1995: 234- |
