An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. - Hyun Seop Bae; Yong Rae Kwon; Hyeon Soo Kim (APSEC, 1995)

Testing of Concurrent Programs After Specification Changes. - In Sang Chung; Hyeon Soo Kim; Hyun Seop Bae; Yong Rae Kwon; Dong Gil Lee (ICSM, 1999)

Testing of Concurrent Programs Based on Message Sequence Charts. - In Sang Chung; Hyeon Soo Kim; Hyun Seop Bae; Yong Rae Kwon; Byung-Sun Lee (PDSE, 1999)

Specifying and verifying real-time systems with timing uncertainty. - Hyun Seop Bae; In Sang Chung; Yong Rae Kwon (J. Syst. Softw., 2000)