| Combining weak and strong mutation for a noninterpretive Java mutation system. | 2 | 0.39 | 2013 |
| Automated scheduling for clone-based refactoring using a competent GA | 23 | 0.67 | 2011 |
| Hierarchical Understandability Assessment Model for Large-Scale OO System | 5 | 0.42 | 2009 |
| An Empirical Evaluation of Test Data Generation Techniques | 4 | 0.49 | 2008 |
| Specification and analysis of timing requirements for real-time systems in the CBD approach | 1 | 0.39 | 2007 |
| The class-level mutants of MuJava | 43 | 1.30 | 2006 |
| MuJava: a mutation system for java | 98 | 3.34 | 2006 |
| Evaluation of mutation testing for object-oriented programs | 19 | 0.83 | 2006 |
| Generating Test Sequences from Statecharts for Concurrent Program Testing | 1 | 0.34 | 2006 |
| MuJava: an automated class mutation system | 339 | 10.48 | 2005 |
| Empirical evaluation of orthogonality of class mutation operators | 9 | 0.57 | 2004 |
| Modeling and Testing Agent Systems Based on Statecharts | 6 | 0.55 | 2004 |
| An experimental mutation system for Java | 78 | 3.32 | 2004 |
| Improving cohesion metrics for classes by considering dependent instance variables | 21 | 0.83 | 2004 |
| Response to 'More comments on: a cohesion measure for object-oriented classes' | 3 | 0.61 | 2003 |
| Empirical evaluation of a fuzzy logic-based software quality prediction model | 16 | 0.70 | 2002 |
| An empirical evaluation of six methods to detect faults in software | 17 | 1.20 | 2002 |
| Inter-Class Mutation Operators for Java | 96 | 3.80 | 2002 |
| Extending MSC for reactive systems | 1 | 0.37 | 2001 |
| Framework for Third Party Testing of Component Software | 6 | 0.49 | 2001 |
| Response to 'Comments on: a cohesion measure for object-oriented classes' | 3 | 0.56 | 2001 |
| Specification-based program slicing and its applications | 6 | 0.48 | 2001 |
| The design and implementation of automata-based testing environment for Java multi-thread programs | 3 | 0.42 | 2001 |
| Extending the SCR Method for Real-Time Systems | 0 | 0.34 | 2001 |
| A cohesion measure for object-oriented classes | 72 | 3.05 | 2000 |
| Specifying and verifying real-time systems with timing uncertainty | 0 | 0.34 | 2000 |
| A Slicing-based Approach to Enhance Petri Net Reachability Analysis | 12 | 0.74 | 2000 |
| Testing of concurrent programs after specification changes | 4 | 0.53 | 1999 |
| Safety Verification of Ada95 Programs Using Software Fault Trees | 5 | 0.59 | 1999 |
| Testing of concurrent programs based on message sequence charts | 21 | 0.98 | 1999 |
| Integration and analysis of use cases using modular Petri nets in requirements engineering | 47 | 1.85 | 1998 |
| Change impact analysis for a class hierarchy | 6 | 0.56 | 1998 |
| On the concurrent behaviour of SCR specifications | 0 | 0.34 | 1997 |
| An efficient method for version control of a tree data structure | 3 | 0.42 | 1997 |
| Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis | 1 | 0.36 | 1997 |
| Assessing and restructuring of classes based on cohesion | 3 | 0.62 | 1996 |
| An efficient debugging method for message-based parallel programs using static analysis information | 2 | 0.47 | 1995 |
| An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection | 3 | 0.54 | 1995 |
| A Tightly Coupled Approach to Fuzzy Syntactic Parsing and Neural Networks for Event-Synchronous Signal Inspection | 0 | 0.34 | 1995 |
| Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system | 0 | 0.34 | 1995 |
| Testing of Object-Oriented Programs Based on Finite State Machines | 28 | 1.95 | 1995 |
| An approach to partitioning programs on the functional basis and applications | 1 | 0.43 | 1994 |
| Restructuring Programs Through Program Slicing | 16 | 1.08 | 1994 |
| A semantics-based method for revalidating modified programs. | 0 | 0.34 | 1994 |
| Analysis and enactment of a distributed software process model: the AttNet model | 0 | 0.34 | 1994 |
| Complexity measures for concurrent programs based on information-theoretic metrics | 7 | 0.97 | 1993 |
| SPEX: A method for specifying the dynamics of structured specifications including control information | 0 | 0.34 | 1989 |
