|
|
Brunel University Research Archive (BURA) >
Browsing by Author Hierons, RM
Showing results 35 to 54 of 107
| Issue Date | Title | Author(s) | | 2002 | FORTEST: Formal methods and testing | Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM, et al |
| 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 non-deterministic finite-state 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 | Al-Mohammad, 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; Brunel Research Initiative and Enterprise Fund (BRIEF) Award from Brunel University.
Departmental bursary from Department of Information Systems and Computing, Brunel University. |
| 2011 | An integrated search-based 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 | Al-Mohammad, A; Ghinea, G; Hierons, RM |
| 2004 | Loop squashing transformations for amorphous slicing | Hu, L; Harman, M; Hierons, RM; Binkley, D |
| 2007 | A meta-analysis 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 object-oriented framework: An experience report | Segura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A |
| 2001 | Node coarsening calculi for program slicing | Harman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, M, et al |
Showing results 35 to 54 of 107
|
