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 21 to 40 of 157 < previous   next >
Issue DateTitleAuthor(s)
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
2011Controllable testing from nondeterministic finite state machines with multiple portsHierons, RM
2017Decidability and Complexity for Quiescent Consistency and its VariationsDongol, B; Hierons, RM
2011Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemasDanicic, S; Hierons, RM; Laurence, MR
2009Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing SequencesHierons, RM; Turker, U
2016Distinguishing Sequences for Distributed Testing: Preset Distinguishing SequencesHierons, RM; Turker, UC
2014Distinguishing sequences for partially specified FSMsHierons, RM; Türker, UC
2011Do moods affect programmers' debug performance?Khan, IA; Brinkman, W-P; Hierons, RM
2008The effect of the distributed test architecture on the power of testingHierons, RM; Ural, H
2006The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graphCounsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y