The SCEAS System
Navigation Menu

Search the dblp DataBase


Hyoung Seok Hong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002