Brunel University Research Archive (BURA) >

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:   
Sort by: In order: Results/Page Authors/Record:
Showing results 12 to 31 of 118
< previous   next >
Issue DateTitleAuthor(s)
2001Backward conditioning: A new program specialisation technique and its application to program comprehensionFox, C; Harman, M; Hierons, RM; Danicic, S
2005Branch-coverage testability transformation for unstructured programsHierons, RM; Harman, M; Fox, CJ
2010Canonical finite state machines for distributed systemsHierons, RM
2011Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemasDanicic, S; Hierons, RM; Laurence, MR
2010Checking experiments for stream X-machinesHierons, RM
2009Checking sequence construction using adaptive and preset distinguishing sequencesHierons, RM; Jourdan, GV; Ural, H; Yenigun, H
2008Checking sequences for distributed test architecturesHierons, RM; Ural, H
2001Checking states and transitions of a set of communicating finite state machinesHierons, RM
2002Code extraction algorithms which unify slicing and concept assignmentHarman, M; Gold, N; Hierons, RM; Binkley, D
2002Comparing test sets and criteria in the presence of test hypotheses and fault domainsHierons, RM
2012The complexity of asynchronous model based testingHierons, RM
2012Complexity of data dependence problems for program schemas with concurrencyDanicic, S; Hierons, RM; Laurence, MR
2011Conformance relations for distributed testing based on CSPCavalcanti, A; Gaudel, MC; Hierons, RM
2000ConSIT: A conditioned program slicerDanicic, S; Fox, C; Harman, M; Hierons, RM
2005Constructing multiple unique input/output sequences using metaheuristic optimisation techniquesGuo, Q; Hierons, RM; Harman, M; Derderian, K
2005ConSUS: A light-weight program conditionerDanicic, S; Daoudi, M; Fox, CJ; Harman, M; Hierons, RM, et al
2012Controllability problems in MSC-based testingDan, H; Hierons, RM
2011Controllable testing from nondeterministic finite state machines with multiple portsHierons, RM
2011Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemasDanicic, S; Hierons, RM; Laurence, MR
2006The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graphCounsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y
Showing results 12 to 31 of 118
< previous   next >