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 12 to 31 of 157 < 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
2014Combining centralised and distributed testingHierons, RM
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
2017Constraint-based oracles for timed distributed systemsBenharrat, N; Gaston, C; Hierons, RM; Lapitre, A; Le Gall, P
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; Howroyd, J; Ourabya, L; Ward, M
2012Controllability problems in MSC-based testingDan, H; Hierons, RM
2016Controllability through nondeterminism in distributed testingHierons, RM; Merayo, MG; Nunez, M