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 96 to 115 of 121 < previous   next >
Issue DateTitleAuthor(s)
2004Testability transformationHarman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H, et al
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
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
2009Towards a mood sensitive integrated development environment to enhance the performance of programmersBrinkman, WP; Hierons, RM; Khan, Iftikhar Ahmed
2010A trajectory-based strict semantics for program slicingBarraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM, et al
2003UIO sequence based checking sequences for distributed test architecturesHierons, RM; Ural, H
2003Unions of slices are not slicesDe Lucia, A; Harman, M; Hierons, RM; Krinke, J
2004Using a minimal number of resets when testing from a finite state machineHierons, RM
2008Using formal methods to support testingHierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J, et al