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 114
< 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
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
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
2008The effect of the distributed test architecture on the power of testingHierons, RM; Ural, H
2010An empirical study of package coupling in Java open-sourceCounsell, S; Hierons, RM; Mubarak, Asma
Showing results 12 to 31 of 114
< previous   next >