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 31 to 50 of 118
< previous   next >
Issue DateTitleAuthor(s)
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
2009Estimating the feasibility of transition paths in extended finite state machinesDerderian, K; Hierons, RM; Harman, M; Guo, Q
2002Evolutionary testing supported by slicing and transformationHarman, M; Hu, L; Hierons, RM; Fox, C; Danicic, S, et al
2004Evolving transformation sequences using genetic algorithmsFatiregun, D; Harman, M; Hierons, RM
2002Expanding an extended finite state machine to aid testabilityHierons, RM; Kim, TH; Ural, H
2010Exploring the eradication of code smells: An empirical and theoretical perspectiveCounsell, S; Hierons, RM; Hamza, H; Black, S; Durrand, M
2008Extending stream X-machines to specify and test systems with timeoutsMerayo, MG; Hierons, RM; Nunez, M
2002FORTEST: Formal methods and testingBowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM, et al
2012A framework for pathologies of message sequence chartsDan, H; Hierons, RM; Counsell, S
2010Generating a checking sequence with a minimum number of reset transitionsHierons, RM; Ural, H
2002Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machineHierons, RM
2008Generating feasible transition paths for testing from an extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2010Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problemKalaji, AS; Hierons, RM; Swift, S
2007Heuristics for fault diagnosing when testing from finite state machinesGuo, Q; Hierons, RM; Harman, M; Derderian, K
2008High capacity steganographic method based upon JPEGAl-Mohammad, A; Hierons, RM; Ghinea, G
2012Implementation relations and test generation for systems with distributed interfacesHierons, RM; Merayo, MG; Núñez, M
Showing results 31 to 50 of 118
< previous   next >