Browsing by Author Hierons, RM

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 51 to 70 of 154 < previous   next >
Issue DateTitleAuthor(s)
2002FORTEST: Formal methods and testingBowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM, et al
2012A framework for pathologies of message sequence chartsDan, H; Hierons, RM; Counsell, S
2010Generating a checking sequence with a minimum number of reset transitionsHierons, RM; Ural, H
2002Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machineHierons, RM
2015Generating complete controllable test suites for distributed testingHierons, RM
2008Generating feasible transition paths for testing from an extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2010Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problemKalaji, AS; Hierons, RM; Swift, S
2016Generating minimum height ADSs for partially specified finite state machinesHierons, RM; Türker, UC
2016Hardness of deriving invertible sequences from finite state machinesHierons, RM; Mousavi, MR; Thomsen, MK; Türker, UC
2007Heuristics for fault diagnosing when testing from finite state machinesGuo, Q; Hierons, RM; Harman, M; Derderian, K
2008High capacity steganographic method based upon JPEGAl-Mohammad, A; Hierons, RM; Ghinea, G
2017How to manage a conference special issueHierons, RM
2017Implementation relations and probabilistic schedulers in the distributed test architectureHierons, RM; Nunez, M
2012Implementation relations and test generation for systems with distributed interfacesHierons, RM; Merayo, MG; Núñez, M
2013Implementation relations for testing through asynchronous channelsHierons, RM
2005Improved test quality using robust unique input/output circuit sequences (UIOCs)Guo, Q; Hierons, RM; Harman, M; Derderian, K
2006Improving fault coverage and minimising the cost of fault identification when testing from finite state machinesHierons, RM; Harman, M; Guo, Qiang
2015Incomplete distinguishing sequences for finite state machinesHierons, RM; Turker, UC
2011An integrated search-based approach for automatic testing from extended finite state machine (EFSM) modelsKalaji, AS; Hierons, RM; Swift, S
2011An integrated search-based approach for automatic testing from extended finite state machine (EFSM) modelsKalaji, AS; Hierons, RM; Swift, S