|
|
Brunel University Research Archive (BURA) >
Browsing by Author Hierons, RM
Showing results 51 to 70 of 107
| Issue Date | Title | Author(s) | | 2009 | Mutation testing from probabilistic and stochastic finite state machines | Hierons, RM; Merayo, MG |
| 2007 | Mutation testing from probabilistic finite state machines | Hierons, RM; Merayo, MG |
| 2011 | Mutation testing on an object-oriented framework: An experience report | Segura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A |
| 2001 | Node coarsening calculi for program slicing | Harman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, M, et al |
| 2011 | On the computational complexity of dynamic slicing problems for program schemas | Danicic, S; Hierons, RM; Laurence, M |
| 2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
| 2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |
| 2011 | Oracles for distributed testing | Hierons, RM |
| 2012 | Overcoming controllability problems in distributed testing from an input output transition system | Hierons, RM |
| 2009 | Overcoming controllability problems with fewest channels between testers | Hierons, RM; Ural, H |
| 2006 | Overcoming observability problems in distributed test architectures | Chen, J; Hierons, RM; Ural, H |
| 2002 | A post-placement side-effect removal algorithm | Harman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X, et al |
| 2008 | Practitioner-based measurement: a collaborative software measurement approach | Parkinson, ST; Hierons, RM; Lycett, M; Norman, M |
| 2008 | The precursor to an industrial software metrics program | Parkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M |
| 2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
| 1999 | Program simplification as a means of approximating undecidable propositions | Harman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S |
| 2010 | Reaching and distinguishing states of distributed systems | Hierons, RM |
| 2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
| 2007 | Reducing the cost of applying adaptive test cases | Hierons, RM; Ural, H |
| 2003 | Reformulating software engineering as a search problem | Dolado, JJ; Harman, M; Jones, B; Mitchell, B; Rees, K, et al |
Showing results 51 to 70 of 107
|
