
Brunel University Research Archive (BURA) >
Browsing by Author Hierons, RM
Showing results 42 to 61 of 118
Issue Date  Title  Author(s)  2002  FORTEST: Formal methods and testing  Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM, et al 
2012  A framework for pathologies of message sequence charts  Dan, H; Hierons, RM; Counsell, S 
2010  Generating a checking sequence with a minimum number of reset transitions  Hierons, RM; Ural, H 
2002  Generating candidates when testing a deterministic implementation against a nondeterministic finitestate machine  Hierons, RM 
2008  Generating feasible transition paths for testing from an extended finite state machine (EFSM)  Kalaji, AS; Hierons, RM; Swift, S 
2010  Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem  Kalaji, AS; Hierons, RM; Swift, S 
2007  Heuristics for fault diagnosing when testing from finite state machines  Guo, Q; Hierons, RM; Harman, M; Derderian, K 
2008  High capacity steganographic method based upon JPEG  AlMohammad, A; Hierons, RM; Ghinea, G 
2012  Implementation relations and test generation for systems with distributed interfaces  Hierons, RM; Merayo, MG; Núñez, M 
2005  Improved test quality using robust unique input/output circuit sequences (UIOCs)  Guo, Q; Hierons, RM; Harman, M; Derderian, K 
2006  Improving fault coverage and minimising the cost of fault identification when testing from finite state machines  Hierons, RM; Harman, M; Guo, Qiang 
2011  An integrated searchbased approach for automatic testing from extended finite state machine (EFSM) models  Kalaji, AS; Hierons, RM; Swift, S 
2009  JPEG steganography: A performance evaluation of quantization tables  AlMohammad, A; Ghinea, G; Hierons, RM 
2004  Loop squashing transformations for amorphous slicing  Hu, L; Harman, M; Hierons, RM; Binkley, D 
2007  A metaanalysis approach to refactoring and XP  Counsell, S; Hierons, RM; Loizou, G 
1999  Minimizing the cost of fault location when testing from a finite state machine  Hierons, RM 
2003  A multiple hill climbing approach to software module clustering  Mahdavi, K; Harman, M; Hierons, RM 
2009  Mutation testing from probabilistic and stochastic finite state machines  Hierons, RM; Merayo, MG 
2007  Mutation testing from probabilistic finite state machines  Hierons, RM; Merayo, MG 
2011  Mutation testing on an objectoriented framework: An experience report  Segura, S; Hierons, RM; Benavides, D; RuizCortes, A 
Showing results 42 to 61 of 118
