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 118 to 137 of 157 < previous   next >
Issue DateTitleAuthor(s)
2009Simulation relations for systems with distributed interfacesHierons, RM; Nunez, M
2016SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary OptimisationHierons, RM; Li, M; Liu, X; Segura, S; Zheng, W
2018Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?Destefanis, G; Marchesi, M; Ortu, M; Tonelli, R; Bracciali, A; Hierons, RM
2008Software integration testing based on communication coverage criteria and partial model generationRobinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P
2015Special issue on testing, analysis and debugging of concurrent programsFarchi, E; Hierons, RM; Lourenço, J
2012Squeeziness: An information theoretic measure for avoiding fault maskingClark, D; Hierons, RM
2005Static program slicing algorithms are minimal for free liberal program schemasDanicic, S; Fox, C; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR
2005Static program slicing algorithms are minimal for free liberal program schemasDanicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR
2010Steganography-based secret and reliable communications: Improving steganographic capacity and imperceptibilityAl-Mohammad, Adel
2016A Suspension-Trace Semantics for CSPCavalcanti, A; Hierons, RM; Nogueira, S; Sampaio, A
2004Testability transformationHarman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M
2009A testability transformation approach for state-based programsKalaji, AS; Hierons, RM; Swift, S
2008Testing a deterministic implementation against a non-controllable non-deterministic stream X-machineHierons, RM; Ipate, F
2001Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faultsHierons, RM
2001Testing a system specified using Statecharts and ZHierons, RM; Sadeghipour, S; Singh, H
2004Testing conformance of a deterministic implementation against a non-deterministic stream X-machineHarman, M; Hierons, RM
2000Testing conformance to a quasi-non-deterministic stream X-machineHierons, RM; Harman, M
1997Testing from a finite state machine: Extending invertibility to sequencesHierons, RM
2004Testing from a nondeterministic finite state machine using adaptive state countingHierons, RM
2008Testing from a stochastic timed system with a fault modelHierons, RM; Merayo, MG; Nunez, M