 | 2007 |
|---|
| 42 |       | 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 |
|---|
| 41 | | Yu-Seung Ma,
Jeff Offutt,
Yong Rae Kwon:
MuJava: a mutation system for java.
ICSE 2006: 827-830 |
| 40 | | Yu-Seung Ma,
Mary Jean Harrold,
Yong Rae Kwon:
Evaluation of mutation testing for object-oriented programs.
ICSE 2006: 869-872 |
| 39 | | 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 |
|---|
| 38 | | Yu-Seung Ma,
Jeff Offutt,
Yong Rae Kwon:
MuJava: an automated class mutation system.
Softw. Test., Verif. Reliab. 15(2): 97-133 (2005) |
| 2004 |
|---|
| 37 | | Hyo-Jeong Lee,
Yu-Seung Ma,
Yong Rae Kwon:
Empirical Evaluation of Orthogonality of Class Mutation Operators.
APSEC 2004: 512-518 |
| 36 | | Heui-Seok Seo,
Tadashi Araragi,
Yong Rae Kwon:
Modeling and Testing Agent Systems Based on Statecharts.
FORTE Workshops 2004: 308-321 |
| 35 | | Jeff Offutt,
Yu-Seung Ma,
Yong Rae Kwon:
An experimental mutation system for Java.
ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
| 34 | | 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 |
|---|
| 33 |  | 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 |
|---|
| 32 | | Yu-Seung Ma,
Yong Rae Kwon,
Jeff Offutt:
Inter-Class Mutation Operators for Java.
ISSRE 2002: 352-366 |
| 31 | | 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) |
| 30 | | 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 |
|---|
| 29 | | 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 |
| 28 | | Yu-Seung Ma,
Seung-Uk Oh,
Doo-Hwan Bae,
Yong Rae Kwon:
Framework for Third Party Testing of Component Software.
APSEC 2001: 431- |
| 27 | | Gwang Sik Yoon,
Yong Rae Kwon:
Extending MSC for Reactive Systems.
HCC 2001: 104- |
| 26 | | In Sang Chung,
Wan Kwon Lee,
Gwang Sik Yoon,
Yong Rae Kwon:
Program slicing based on specification.
SAC 2001: 605-609 |
| 25 | | 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) |
| 24 | | Wan Kwon Lee,
In Sang Chung,
Gwang Sik Yoon,
Yong Rae Kwon:
Specification-based program slicing and its applications.
Journal of Systems Architecture 47(5): 427-443 (2001) |
| 23 | | 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) |
| 22 | | 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 |
|---|
| 21 | | 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) |
| 20 | | 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) |
| 19 | | 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 |
|---|
| 18 | | 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- |
| 17 | | 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 |
| 16 | | 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 |
|---|
| 15 | | Yoon Kyu Jang,
Heung Seok Chae,
Yong Rae Kwon,
Doo-Hwan Bae:
Change Impact Analysis for A Class Hierarchy.
APSEC 1998: 304- |
| 14 | | 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 |
|---|
| 13 | | 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- |
| 12 | | Hyoung Seok Hong,
Sung Deok Cha,
Yong Rae Kwon:
On the concurrent behaviour of SCR specifications.
COMPSAC 1997: 258-263 |
| 11 | | 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 |
|---|
| 10 | | Heung Seok Chae,
Yong Rae Kwon:
Assessing and Restructuring of Classes Based on Cohesion.
APSEC 1996: 76-82 |
| 9 | | In Sang Chung,
Malcolm Munro,
Wan Kwon Lee,
Yong Rae Kwon:
Applying Conventional Testing Techniques for Class Testing.
COMPSAC 1996: 447-454 |
| 1995 |
|---|
| 8 | | Hyoung Seok Hong,
Yong Rae Kwon,
Sung Deok Cha:
Testing of Object-Oriented Programs Based on Finite State Machines.
APSEC 1995: 234- |
| 7 | | 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- |
| 6 | | 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- |
| 5 | | 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 |
|---|
| 4 | | 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) |
| 3 | | In Sang Chung,
Yong Rae Kwon:
An approach to partitioning programs on the functional basis and applications.
Microprocessing and Microprogramming 40(5): 315-326 (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) |
