Software technology and industry of Korea: widening horizon and emerging presence. - Yong Rae Kwon (COMPSAC, 1989)

SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information. - Myung Ho Kim; Yong Rae Kwon (Aust. Comput. J., 1989)

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)

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 Object-Oriented Programs Based on Finite State Machines. - Hyoung Seok Hong; Yong Rae Kwon; Sung Deok Cha (APSEC, 1995)

An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. - Sun Sup So; Yongseop Lim; Sung Deok Cha; Yong Rae Kwon (APSEC, 1995)

A Tightly Coupled Approach to Fuzzy Syntactic Parsing and Neural Networks for Event-Synchronous Signal Inspection. - Soon Ju Kang; Yong Rae Kwon (J. Intell. Fuzzy Syst., 1995)

Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system. - Soon Ju Kang; Yong Rae Kwon (Knowl. Based Syst., 1995)

Assessing and Restructuring of Classes Based on Cohesion. - Heung Seok Chae; Yong Rae Kwon (APSEC, 1996)

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

Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. - Gwang Sik Yoon; Sung Deok Cha; Yong Rae Kwon; Chan Hyung Yoo (APSEC, 1997)

On the concurrent behaviour of SCR specifications. - Hyoung Seok Hong; Sung Deok Cha; Yong Rae Kwon (COMPSAC, 1997)

An Efficient Method for Version Control of a Tree Data Structure. - Ester Jinee Choi; Yong Rae Kwon (Softw. Pract. Exp., 1997)

Change Impact Analysis for A Class Hierarchy. - Yoon Kyu Jang; Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (APSEC, 1998)

Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon (IEEE Trans. Software Eng., 1998)

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)

Safety Verification of Ada95 Programs Using Software Fault Trees. - Sang-Yoon Min; Yoon-Kyu Jan; Sung Deok Cha; Yong Rae Kwon; Doo-Hwan Bae (SAFECOMP, 1999)

A Slicing-based Approach to Enhance Petri Net Reachability Analysis. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon; H. N. Kim (J. Res. Pract. Inf. Technol., 2000)

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

A cohesion measure for object-oriented classes. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (Softw. Pract. Exp., 2000)

Framework for Third Party Testing of Component Software. - Yu-Seung Ma; Seung-Uk Oh; Doo-Hwan Bae; Yong Rae Kwon (APSEC, 2001)

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)

Extending MSC for Reactive Systems. - Gwang Sik Yoon; Yong Rae Kwon (HCC, 2001)

Specification-based program slicing and its applications. - Wan Kwon Lee; In Sang Chung; Gwang Sik Yoon; Yong Rae Kwon (J. Syst. Archit., 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)

An improved method of selecting regression tests for C++ programs. - Yoon Kyu Jang; Malcolm Munro; Yong Rae Kwon (J. Softw. Maintenance Res. Pract., 2001)

Response to Comments on: A cohesion measure for object-oriented classes. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (Softw. Pract. Exp., 2001)

Inter-Class Mutation Operators for Java. - Yu-Seung Ma; Yong Rae Kwon; Jeff Offutt (ISSRE, 2002)

Empirical evaluation of a fuzzy logic-based software quality prediction model. - Sun Sup So; Sung Deok Cha; Yong Rae Kwon (Fuzzy Sets Syst., 2002)

An empirical evaluation of six methods to detect faults in software. - Sun Sup So; Sung Deok Cha; Timothy J. Shimeall; Yong Rae Kwon (Softw. Test. Verification Reliab., 2002)

Response to 'More comments on: A cohesion measure for object-oriented classes'. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (Softw. Pract. Exp., 2003)

Empirical Evaluation of Orthogonality of Class Mutation Operators. - Hyo-Jeong Lee; Yu-Seung Ma; Yong Rae Kwon (APSEC, 2004)

Modeling and Testing Agent Systems Based on Statecharts. - Heui-Seok Seo; Tadashi Araragi; Yong Rae Kwon (FORTE Workshops, 2004)

An experimental mutation system for Java. - Jeff Offutt; Yu-Seung Ma; Yong Rae Kwon (ACM SIGSOFT Softw. Eng. Notes, 2004)

Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (IEEE Trans. Software Eng., 2004)

MuJava: an automated class mutation system. - Yu-Seung Ma; Jeff Offutt; Yong Rae Kwon (Softw. Test. Verification Reliab., 2005)

Evaluation of mutation testing for object-oriented programs. - Yu-Seung Ma; Mary Jean Harrold; Yong Rae Kwon (ICSE, 2006)

MuJava: a mutation system for java. - Yu-Seung Ma; Jeff Offutt; Yong Rae Kwon (ICSE, 2006)

The Class-Level Mutants of MuJava. - Jeff Offutt; Yu-Seung Ma; Yong Rae Kwon (AST, 2006)

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

Specification and analysis of timing requirements for real-time systems in the CBD approach. - Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon (Real Time Syst., 2007)

Hierarchical Understandability Assessment Model for Large-Scale OO System. - Jimin Hwa; Sukhee Lee; Yong Rae Kwon (APSEC, 2009)

Automated scheduling for clone-based refactoring using a competent GA. - Sukhee Lee; Gigon Bae; Heung Seok Chae; Doo-Hwan Bae; Yong Rae Kwon (Softw. Pract. Exp., 2011)

Combining weak and strong mutation for a noninterpretive Java mutation system. - Sang-Woon Kim; Yu-Seung Ma; Yong Rae Kwon (Softw. Test. Verification Reliab., 2013)