Hyoung Seok Hong

According to our database, Hyoung Seok Hong authored at least 12 papers between 1995 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Dependence Testing: Extending Data Flow Testing with Control Dependence.

Hyoung Seok Hong, Hasan Ural

Proceedings of the Testing of Communicating Systems, 2005

2004

Using Model Checking for Reducing the Cost of Test Generation.

Hyoung Seok Hong, Hasan Ural

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Data Flow Testing as Model Checking.

Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

A Temporal Logic Based Theory of Test Coverage and Generation.

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Extending the SCR Method for Real-Time Systems.

Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon

Real Time Syst., 2001

2000

A test sequence selection method for statecharts.

Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural

Softw. Test. Verification Reliab., 2000

1999

Test cases generation from UML state diagrams.

Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha

IEE Proc. Softw., 1999

1997

On the concurrent behaviour of SCR specifications.

Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Specification and analysis of real-time systems in Statecharts.

Sung Deok Cha, Hyoung Seok Hong

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Safety Analysis Using Coloured Petri Nets.

Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Testing of Object-Oriented Programs Based on Finite State Machines.

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995