|
|
Brunel University Research Archive (BURA) >
Browsing by Author Hierons, RM
Showing results 71 to 90 of 107
| Issue Date | Title | Author(s) | | 2011 | Scenarios-based testing of systems with distributed ports | Hierons, RM; Merayo, MG; Nunez, M |
| 2007 | Search algorithms for regression test case prioritization | Li, Z; Harman, M; Hierons, RM |
| 2005 | Search-based amorphous slicing | Fatiregun, D; Harman, M; Hierons, RM |
| 2009 | A search-based approach for automatic test generation from extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
| 2010 | Search-based software engineering: A search-based approach for testing from extended finite state machine (EFSM) models | Hierons, RM; Swift, S; Kalaji, AbdulSalam |
| 2009 | A search-based technique for testing from extended finite state machine model | Kalaji, AS; Hierons, RM; Swift, S |
| 2011 | Semantic mutation testing | Clark, JA; Dan, H; Hierons, RM |
| 2006 | Separating sequence overlap for automated test sequence | Hierons, RM |
| 2009 | Simulation relations for systems with distributed interfaces | Hierons, RM; Nunez, M |
| 2008 | Software integration testing based on communication coverage criteria and partial model generation | Robinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P |
| 2012 | Squeeziness: An information theoretic measure for avoiding fault masking | Clark, D; Hierons, RM |
| 2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, C; Harman, M; Hierons, RM; Howroyd, J, et al |
| 2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J, et al |
| 2010 | Steganography-based secret and reliable communications: Improving steganographic capacity and imperceptibility | Ghinea, G; Hierons, RM; Al-Mohammad, Adel |
| 2004 | Testability transformation | Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H, et al |
| 2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine | Hierons, RM; Ipate, F |
| 2001 | Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults | Hierons, RM |
| 2001 | Testing a system specified using Statecharts and Z | Hierons, RM; Sadeghipour, S; Singh, H |
| 2004 | Testing conformance of a deterministic implementation against a non-deterministic stream X-machine | Harman, M; Hierons, RM |
Showing results 71 to 90 of 107
|
