Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics. - Shin Cha; In Sang Chung; Yong Rae Kwon (Inf. Process. Lett., 1993)

Analysis and enactment of a distributed software process model: the AttNet model. - Woo Jin Lee; In Sang Chung; Yong Rae Kwon (APSEC, 1994)

Restructuring Programs through Program Slicing. - Hyeon Soo Kim; Yong Rae Kwon; In Sang Chung (Int. J. Softw. Eng. Knowl. Eng., 1994)

An approach to partitioning programs on the functional basis and applications. - In Sang Chung; Yong Rae Kwon (Microprocess. Microprogramming, 1994)

A semantics-based method for revalidating modified programs. - In Sang Chung; Yong Rae Kwon (J. Softw. Maintenance Res. Pract., 1994)

Applying Conventional Testing Techniques for Class Testing. - In Sang Chung; Malcolm Munro; Wan Kwon Lee; Yong Rae Kwon (COMPSAC, 1996)

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)

A New Approach to Deterministic Execution Testing for Concurrent Programs. - In Sang Chung; Byeong Man Kim; Hyeon Soo Kim (ICDCS Workshop on Distributed System Validation and Verification, 2000)

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

The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. - Heui-Seok Seo; In Sang Chung; Byeong Man Kim; Yong Rae Kwon (APSEC, 2001)

Program slicing based on specification. - In Sang Chung; Wan Kwon Lee; Gwang Sik Yoon; Yong Rae Kwon (SAC, 2001)

Specification-based program slicing and its applications. - Wan Kwon Lee; In Sang Chung; Gwang Sik Yoon; Yong Rae Kwon (J. Syst. Archit., 2001)

Generating Test Sequences from Statecharts for Concurrent Program Testing. - Heui-Seok Seo; In Sang Chung; Yong Rae Kwon (IEICE Trans. Inf. Syst., 2006)