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 91 to 110 of 155 < previous   next >
Issue DateTitleAuthor(s)
2014The Oracle Problem When Testing from MSCsDan, H; Hierons, RM
2011Oracles for distributed testingHierons, RM
2012Overcoming controllability problems in distributed testing from an input output transition systemHierons, RM
2009Overcoming controllability problems with fewest channels between testersHierons, RM; Ural, H
2006Overcoming observability problems in distributed test architecturesChen, J; Hierons, RM; Ural, H
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, et al
2008Practitioner-based measurement: a collaborative software measurement approachParkinson, ST; Hierons, RM; Lycett, M; Norman, M
2008The precursor to an industrial software metrics programParkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M
2001Pre/post conditioned slicingHarman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J
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, et al
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