Showing results 51 to 70 of 157
< previous
next >
Issue Date | Title | Author(s) |
2002 | FORTEST: Formal methods and testing | Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P |
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 non-deterministic finite-state machine | Hierons, RM |
2014 | Generating complete controllable test suites for distributed testing | 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 |
2016 | Generating minimum height ADSs for partially specified finite state machines | Hierons, RM; Türker, UC |
2016 | Hardness of deriving invertible sequences from finite state machines | Hierons, RM; Mousavi, MR; Thomsen, MK; Türker, UC |
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 |
2017 | How to manage a conference special issue | Hierons, RM |
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 |