Showing results 87 to 106 of 157
< previous
next >
Issue Date | Title | Author(s) |
2011 | On the computational complexity of dynamic slicing problems for program schemas | Danicic, S; Hierons, RM; Laurence, MR |
2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |
2014 | The oracle problem when testing from MSCs | Dan, H; Hierons, RM |
2014 | The Oracle Problem When Testing from MSCs | Dan, H; Hierons, RM |
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 |
2017 | Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMs | Hierons, RM; Turker, UC |
2016 | Parallel algorithms for generating harmonised state identifiers and characterising sets | Hierons, RM; Turker, U |
2016 | Parallel algorithms for testing finite state machines:Generating UIO sequences | Hierons, RM; Turker, UC |
2017 | Passive Testing with Asynchronous Communications and Timestamps | Merayo, MG; Hierons, RM; Nunez, M |
2002 | A post-placement side-effect removal algorithm | Harman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X; Dolado, JJ; Otero, MC; Wegener, J |
2008 | Practitioner-based measurement: a collaborative software measurement approach | Parkinson, ST; Hierons, RM; Lycett, M; Norman, M |
2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
2008 | The precursor to an industrial software metrics program | Parkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M |
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 |