Issue Date | Title | Author(s) |

2008 | The effect of the distributed test architecture on the power of testing | *Hierons, RM; Ural, H* |

2006 | The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph | *Counsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y* |

2010 | An empirical study of package coupling in Java open-source | *Mubarak, Asma* |

2003 | Equivalence of conservative, free, linear program schemas is decidable | *Laurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J* |

2007 | Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time | *Danicic, S; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR* |

2009 | Estimating the feasibility of transition paths in extended finite state machines | *Derderian, K; Hierons, RM; Harman, M; Guo, Q* |

2002 | Evolutionary testing supported by slicing and transformation | *Harman, M; Hu, L; Hierons, RM; Fox, C; Danicic, S; Wegener, J; Sthamer, H; Baresel, A* |

2004 | Evolving transformation sequences using genetic algorithms | *Fatiregun, D; Harman, M; Hierons, RM* |

2002 | Expanding an extended finite state machine to aid testability | *Hierons, RM; Kim, TH; Ural, H* |

2010 | Exploring the eradication of code smells: An empirical and theoretical perspective | *Counsell, S; Hierons, RM; Hamza, H; Black, S; Durrand, M* |

2016 | An extended framework for passive asynchronous testing | *Hierons, RM; Merayo, MG; Nunez, M* |

2008 | Extending stream X-machines to specify and test systems with timeouts | *Merayo, MG; Hierons, RM; Nunez, M* |

2002 | FORTEST: Formal methods and testing | *Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P* |

2012 | A framework for pathologies of message sequence charts | *Dan, H; Hierons, RM; Counsell, S* |

2010 | Generating a checking sequence with a minimum number of reset transitions | *Hierons, RM; Ural, H* |

2002 | Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine | *Hierons, RM* |

2014 | Generating complete controllable test suites for distributed testing | *Hierons, RM* |

2008 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) | *Kalaji, AS; Hierons, RM; Swift, S* |

2010 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem | *Kalaji, AS; Hierons, RM; Swift, S* |

2016 | Generating minimum height ADSs for partially specified finite state machines | *Hierons, RM; TÃ¼rker, UC* |