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 42 to 61 of 118
< previous   next >
Issue DateTitleAuthor(s)
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
2005Improved test quality using robust unique input/output circuit sequences (UIOCs)Guo, Q; Hierons, RM; Harman, M; Derderian, K
2006Improving fault coverage and minimising the cost of fault identification when testing from finite state machinesHierons, RM; Harman, M; Guo, Qiang
2011An integrated search-based approach for automatic testing from extended finite state machine (EFSM) modelsKalaji, AS; Hierons, RM; Swift, S
2009JPEG steganography: A performance evaluation of quantization tablesAl-Mohammad, A; Ghinea, G; Hierons, RM
2004Loop squashing transformations for amorphous slicingHu, L; Harman, M; Hierons, RM; Binkley, D
2007A meta-analysis approach to refactoring and XPCounsell, S; Hierons, RM; Loizou, G
1999Minimizing the cost of fault location when testing from a finite state machineHierons, RM
2003A multiple hill climbing approach to software module clusteringMahdavi, K; Harman, M; Hierons, RM
2009Mutation testing from probabilistic and stochastic finite state machinesHierons, RM; Merayo, MG
2007Mutation testing from probabilistic finite state machinesHierons, RM; Merayo, MG
2011Mutation testing on an object-oriented framework: An experience reportSegura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A
Showing results 42 to 61 of 118
< previous   next >