Search the dblp DataBase

Publications of Author

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