Hyoung Seok Hong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1995–2005
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | SCAM | Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky |
| 2003 | ICSE | Data Flow Testing as Model Checking. | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2002 | TACAS | A Temporal Logic Based Theory of Test Coverage and Generation. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 1997 | COMPSAC | On the concurrent behaviour of SCR specifications. | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
| 1996 | APSEC | Safety Analysis Using Coloured Petri Nets. | Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha |
| 1995 | APSEC | Testing of Object-Oriented Programs Based on Finite State Machines. | Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha |