Showing results 110 to 129 of 157
< previous
next >
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 | 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 |
2016 | SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary Optimisation | Hierons, RM; Li, M; Liu, X; Segura, S; Zheng, W |
2018 | Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering? | Destefanis, G; Marchesi, M; Ortu, M; Tonelli, R; Bracciali, A; Hierons, RM |
2008 | Software integration testing based on communication coverage criteria and partial model generation | Robinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P |
2015 | Special issue on testing, analysis and debugging of concurrent programs | Farchi, E; Hierons, RM; Lourenço, J |
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; Laurence, MR |
2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |
2010 | Steganography-based secret and reliable communications: Improving steganographic capacity and imperceptibility | Al-Mohammad, Adel |
2016 | A Suspension-Trace Semantics for CSP | Cavalcanti, A; Hierons, RM; Nogueira, S; Sampaio, A |
2004 | Testability transformation | Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M |
2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |