Hyun Seop Bae

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Hyun Seop Bae, In Sang Chung, Yong Rae Kwon
Specifying and verifying real-time systems with timing uncertainty. J. Syst. Softw. 50 (1) (2000)
In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee
Testing of Concurrent Programs Based on Message Sequence Charts. PDSE (1999)
In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee
Testing of Concurrent Programs After Specification Changes. ICSM (1999)
Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. APSEC (1995)