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 128 to 147 of 157 < previous   next >
Issue DateTitleAuthor(s)
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
16-Jan-2017Testing from Partial Finite State Machines without Harmonised TracesHierons, RM
1997Testing from semi-independent communicating finite state machines with a slow environmentHierons, RM
2008Testing in the distributed test architecture: An extended abstractHierons, RM
2009Testing timed systems modeled by stream X-machinesMerayo, MG; Núñez, M; Hierons, RM
2007A thread-tag based semantics for sequence diagramsDan, H; Hierons, RM; Counsell, S
2014Timed Implementation Relations for the Distributed Test ArchitectureHierons, RM; Merayo, MG; Nunez, M
2-Aug-2018A tool supported methodology to passively test asynchronous systems with multiple usersMerayo, MG; Hierons, RM; Nunez, M
2009Towards a mood sensitive integrated development environment to enhance the performance of programmersKhan, Iftikhar Ahmed
2010A trajectory-based strict semantics for program slicingBarraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L
2003UIO sequence based checking sequences for distributed test architecturesHierons, RM; Ural, H