Browsing by Author Hierons, RM

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 96 to 115 of 157 < previous   next >
Issue DateTitleAuthor(s)
2017Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMsHierons, RM; Turker, UC
2016Parallel algorithms for generating harmonised state identifiers and characterising setsHierons, RM; Turker, U
2016Parallel algorithms for testing finite state machines:Generating UIO sequencesHierons, RM; Turker, UC
2017Passive Testing with Asynchronous Communications and TimestampsMerayo, MG; Hierons, RM; Nunez, M
2002A post-placement side-effect removal algorithmHarman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X; Dolado, JJ; Otero, MC; Wegener, J
2008Practitioner-based measurement: a collaborative software measurement approachParkinson, ST; Hierons, RM; Lycett, M; Norman, M
2001Pre/post conditioned slicingHarman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J
2008The precursor to an industrial software metrics programParkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M
1999Program simplification as a means of approximating undecidable propositionsHarman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S
2010Reaching and distinguishing states of distributed systemsHierons, RM
2002Reduced length checking sequencesHierons, RM; Ural, H
2007Reducing the cost of applying adaptive test casesHierons, RM; Ural, H
2003Reformulating software engineering as a search problemClark, JA; Dolado, JJ; Harman, M; Hierons, RM; Jones, BE; Lumkin, M; Mitchell, B; Mancoridis, S; Rees, K; Roper, M; Shepperd, MJ
2016Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental CorrectnessPatel, K; Hierons, RM
2011Scenarios-based testing of systems with distributed portsHierons, RM; Merayo, MG; Nunez, M
2007Search algorithms for regression test case prioritizationLi, Z; Harman, M; Hierons, RM
2005Search-based amorphous slicingFatiregun, D; Harman, M; Hierons, RM
2009A search-based approach for automatic test generation from extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2010Search-based software engineering: A search-based approach for testing from extended finite state machine (EFSM) modelsKalaji, AbdulSalam
2009A search-based technique for testing from extended finite state machine modelKalaji, AS; Hierons, RM; Swift, S