Showing results 96 to 115 of 157
< previous
next >
Issue Date | Title | Author(s) |
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 |
2007 | Reducing the cost of applying adaptive test cases | Hierons, RM; Ural, H |
2003 | Reformulating software engineering as a search problem | Clark, JA; Dolado, JJ; Harman, M; Hierons, RM; Jones, BE; Lumkin, M; Mitchell, B; Mancoridis, S; Rees, K; Roper, M; Shepperd, MJ |
2016 | Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness | Patel, K; Hierons, RM |
2011 | Scenarios-based testing of systems with distributed ports | Hierons, RM; Merayo, MG; Nunez, M |
2007 | Search algorithms for regression test case prioritization | Li, Z; Harman, M; Hierons, RM |
2005 | Search-based amorphous slicing | Fatiregun, D; Harman, M; Hierons, RM |
2009 | A search-based approach for automatic test generation from extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
2010 | Search-based software engineering: A search-based approach for testing from extended finite state machine (EFSM) models | Kalaji, AbdulSalam |
2009 | A search-based technique for testing from extended finite state machine model | Kalaji, AS; Hierons, RM; Swift, S |