Showing results 83 to 102 of 157
< previous
next >
Issue Date | Title | Author(s) |
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 |
2014 | A new test framework for communications-critical large scale systems | Nabulsi, MA; Hierons, RM |
2001 | Node coarsening calculi for program slicing | Harman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, MR; Fox, C |
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 |