Showing results 63 to 82 of 157
< previous
next >
Issue Date | Title | Author(s) |
22-Mar-2017 | Implementation relations and probabilistic schedulers in the distributed test architecture | Hierons, RM; Nunez, M |
2012 | Implementation relations and test generation for systems with distributed interfaces | Hierons, RM; Merayo, MG; Núñez, M |
2013 | Implementation relations for testing through asynchronous channels | Hierons, RM |
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 | Guo, Qiang |
2015 | Incomplete distinguishing sequences for finite state machines | Hierons, RM; Turker, UC |
2011 | An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models | Kalaji, AS; Hierons, RM; Swift, S |
2011 | An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models | Kalaji, AS; Hierons, RM; Swift, S |
- | Integrating graphical and natural language specifications to support analysis and testing | Hierons, RM |
2017 | The interlocutory tool box: techniques for curtailing coincidental correctness | Patel, Krishna |
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 |
2017 | A Mapping Study on Testing Non-testable Systems | Patel, K; Hierons, RM |
2007 | A meta-analysis approach to refactoring and XP | Counsell, S; Hierons, RM; Loizou, G |
2015 | A methodology for validating cloud models using metamorphic testing | Nunez, A; Hierons, RM |
1999 | Minimizing the cost of fault location when testing from a finite state machine | Hierons, RM |
2015 | A more precise implementation relation for distributed testing | Hierons, RM |
2016 | Multi-objective optimisation for regression testing | Zheng, W; Hierons, RM; Li, M; Liu, X; Vinciotti, V |
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 |