Yong Rae Kwon

According to our database1, Yong Rae Kwon authored at least 50 papers between 1989 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Combining weak and strong mutation for a noninterpretive Java mutation system.
Softw. Test. Verification Reliab., 2013

2011
Automated scheduling for clone-based refactoring using a competent GA.
Softw. Pract. Exp., 2011

2009
Hierarchical Understandability Assessment Model for Large-Scale OO System.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2007
Specification and analysis of timing requirements for real-time systems in the CBD approach.
Real Time Syst., 2007

2006
Generating Test Sequences from Statecharts for Concurrent Program Testing.
IEICE Trans. Inf. Syst., 2006

The Class-Level Mutants of MuJava.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

MuJava: a mutation system for java.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Evaluation of mutation testing for object-oriented programs.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
MuJava: an automated class mutation system.
Softw. Test. Verification Reliab., 2005

2004
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables.
IEEE Trans. Software Eng., 2004

An experimental mutation system for Java.
ACM SIGSOFT Softw. Eng. Notes, 2004

Modeling and Testing Agent Systems Based on Statecharts.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Empirical Evaluation of Orthogonality of Class Mutation Operators.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
Response to 'More comments on: A cohesion measure for object-oriented classes'.
Softw. Pract. Exp., 2003

2002
An empirical evaluation of six methods to detect faults in software.
Softw. Test. Verification Reliab., 2002

Empirical evaluation of a fuzzy logic-based software quality prediction model.
Fuzzy Sets Syst., 2002

Inter-Class Mutation Operators for Java.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001
Response to Comments on: A cohesion measure for object-oriented classes.
Softw. Pract. Exp., 2001

An improved method of selecting regression tests for C++ programs.
J. Softw. Maintenance Res. Pract., 2001

Extending the SCR Method for Real-Time Systems.
Real Time Syst., 2001

Specification-based program slicing and its applications.
J. Syst. Archit., 2001

Extending MSC for Reactive Systems.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Program slicing based on specification.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Framework for Third Party Testing of Component Software.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
A cohesion measure for object-oriented classes.
Softw. Pract. Exp., 2000

Specifying and verifying real-time systems with timing uncertainty.
J. Syst. Softw., 2000

A Slicing-based Approach to Enhance Petri Net Reachability Analysis.
J. Res. Pract. Inf. Technol., 2000

1999
Safety Verification of Ada95 Programs Using Software Fault Trees.
Proceedings of the Computer Safety, 1999

Testing of Concurrent Programs Based on Message Sequence Charts.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Testing of Concurrent Programs After Specification Changes.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.
IEEE Trans. Software Eng., 1998

Change Impact Analysis for A Class Hierarchy.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997
An Efficient Method for Version Control of a Tree Data Structure.
Softw. Pract. Exp., 1997

On the concurrent behaviour of SCR specifications.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996
Applying Conventional Testing Techniques for Class Testing.
Proceedings of the COMPSAC '96, 1996

Assessing and Restructuring of Classes Based on Cohesion.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995
Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system.
Knowl. Based Syst., 1995

A Tightly Coupled Approach to Fuzzy Syntactic Parsing and Neural Networks for Event-Synchronous Signal Inspection.
J. Intell. Fuzzy Syst., 1995

An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

Testing of Object-Oriented Programs Based on Finite State Machines.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
A semantics-based method for revalidating modified programs.
J. Softw. Maintenance Res. Pract., 1994

An approach to partitioning programs on the functional basis and applications.
Microprocess. Microprogramming, 1994

Restructuring Programs through Program Slicing.
Int. J. Softw. Eng. Knowl. Eng., 1994

Analysis and enactment of a distributed software process model: the AttNet model.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics.
Inf. Process. Lett., 1993

1989
SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information.
Aust. Comput. J., 1989

Software technology and industry of Korea: widening horizon and emerging presence.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989


  Loading...