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 13 to 32 of 113
< previous   next >
Issue DateTitleAuthor(s)
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
2003Equivalence of conservative, free, linear program schemas is decidableLaurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J
2007Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial timeDanicic, S; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR
Showing results 13 to 32 of 113
< previous   next >

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan