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) |