2007 | ||
---|---|---|
40 | EE | Ho Kyoung Lee, Woo Jin Lee, Heung Seok Chae, Yong Rae Kwon: Specification and analysis of timing requirements for real-time systems in the CBD approach. Real-Time Systems 36(1-2): 135-158 (2007) |
2006 | ||
39 | EE | Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon: MuJava: a mutation system for java. ICSE 2006: 827-830 |
38 | EE | Yu-Seung Ma, Mary Jean Harrold, Yong Rae Kwon: Evaluation of mutation testing for object-oriented programs. ICSE 2006: 869-872 |
37 | EE | Heui-Seok Seo, In Sang Chung, Yong Rae Kwon: Generating Test Sequences from Statecharts for Concurrent Program Testing. IEICE Transactions 89-D(4): 1459-1469 (2006) |
2005 | ||
36 | EE | Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon: MuJava: an automated class mutation system. Softw. Test., Verif. Reliab. 15(2): 97-133 (2005) |
2004 | ||
35 | EE | Hyo-Jeong Lee, Yu-Seung Ma, Yong Rae Kwon: Empirical Evaluation of Orthogonality of Class Mutation Operators. APSEC 2004: 512-518 |
34 | EE | Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon: Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops 2004: 308-321 |
33 | EE | Jeff Offutt, Yu-Seung Ma, Yong Rae Kwon: An experimental mutation system for Java. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
32 | EE | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae: Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables. IEEE Trans. Software Eng. 30(11): 826-832 (2004) |
2003 | ||
31 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae: Response to 'More comments on: A cohesion measure for object-oriented classes'. Softw., Pract. Exper. 33(6): 589-594 (2003) | |
2002 | ||
30 | EE | Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt: Inter-Class Mutation Operators for Java. ISSRE 2002: 352-366 |
29 | EE | Sun Sup So, Sung Deok Cha, Yong Rae Kwon: Empirical evaluation of a fuzzy logic-based software quality prediction model. Fuzzy Sets and Systems 127(2): 199-208 (2002) |
28 | Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon: An empirical evaluation of six methods to detect faults in software. Softw. Test., Verif. Reliab. 12(3): 155-171 (2002) | |
2001 | ||
27 | EE | Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon: The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. APSEC 2001: 221-228 |
26 | EE | Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon: Framework for Third Party Testing of Component Software. APSEC 2001: 431- |
25 | EE | Gwang Sik Yoon, Yong Rae Kwon: Extending MSC for Reactive Systems. HCC 2001: 104- |
24 | EE | In Sang Chung, W. K. Lee, Gwang Sik Yoon, Yong Rae Kwon: Program slicing based on specification. SAC 2001: 605-609 |
23 | Yoon Kyu Jang, Malcolm Munro, Yong Rae Kwon: An improved method of selecting regression tests for C++ programs. Journal of Software Maintenance 13(5): 331-350 (2001) | |
22 | Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon: Extending the SCR Method for Real-Time Systems. Real-Time Systems 20(1): 27-49 (2001) | |
21 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae: Response to Comments on: A cohesion measure for object-oriented classes. Softw., Pract. Exper. 31(14): 1389-1392 (2001) | |
2000 | ||
20 | Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. Kim: A Slicing-based Approach to Enhance Petri Net Reachability Analysis. Journal of Research and Practice in Information Technology 32(2): 131-143 (2000) | |
19 | EE | Hyun Seop Bae, In Sang Chung, Yong Rae Kwon: Specifying and verifying real-time systems with timing uncertainty. Journal of Systems and Software 50(1): 85-96 (2000) |
18 | Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae: A cohesion measure for object-oriented classes. Softw., Pract. Exper. 30(12): 1405-1431 (2000) | |
1999 | ||
17 | EE | In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee: Testing of Concurrent Programs After Specification Changes. ICSM 1999: 199- |
16 | EE | 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: 72-82 |
15 | EE | Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae: Safety Verification of Ada95 Programs Using Software Fault Trees. SAFECOMP 1999: 226-238 |
1998 | ||
14 | EE | Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae: Change Impact Analysis for A Class Hierarchy. APSEC 1998: 304- |
13 | EE | Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon: Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. IEEE Trans. Software Eng. 24(12): 1115-1130 (1998) |
1997 | ||
12 | EE | Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo: Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. APSEC 1997: 272- |
11 | EE | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon: On the concurrent behaviour of SCR specifications. COMPSAC 1997: 258-263 |
10 | Ester Jinee Choi, Yong Rae Kwon: An Efficient Method for Version Control of a Tree Data Structure. Softw., Pract. Exper. 27(7): 797-811 (1997) | |
1996 | ||
9 | EE | Heung Seok Chae, Yong Rae Kwon: Assessing and Restructuring of Classes Based on Cohesion. APSEC 1996: 76-82 |
8 | EE | In Sang Chung, Malcolm Munro, W. K. Lee, Yong Rae Kwon: Applying Conventional Testing Techniques for Class Testing. COMPSAC 1996: 447-454 |
1995 | ||
7 | EE | Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha: Testing of Object-Oriented Programs Based on Finite State Machines. APSEC 1995: 234- |
6 | EE | Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon: An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. APSEC 1995: 345- |
5 | EE | Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim: An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. APSEC 1995: 96- |
4 | EE | Soon Ju Kang, Yong Rae Kwon: Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system. Knowl.-Based Syst. 8(1): 21-31 (1995) |
1994 | ||
3 | EE | Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung: Restructuring Programs through Program Slicing. International Journal of Software Engineering and Knowledge Engineering 4(3): 349-368 (1994) |
1993 | ||
2 | Shin Cha, In Sang Chung, Yong Rae Kwon: Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics. Inf. Process. Lett. 46(1): 43-50 (1993) | |
1989 | ||
1 | Myung Ho Kim, Yong Rae Kwon: SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information. Australian Computer Journal 21(1): 19-26 (1989) |