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 136 to 155 of 155 < previous 
Issue DateTitleAuthor(s)
2008Testing from a stochastic timed system with a fault modelHierons, RM; Merayo, MG; Nunez, M
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
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
2009Using formal specifications to support testingHierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J, et al
2013Using genetic algorithms to generate test sequences for complex timed systemsNunez, A; Merayo, MG; Nunez, M; Hierons, RM
2012Using schedulers to test probabilistic distributed systemsHierons, RM; Núñez, M
2008Using status messages in the distributed test architectureHierons, RM
2002VADA: A transformation-based system for variable dependence analysisHarman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S, et al
2008Verdict functions in testing with a fault domain or test hypothesesHierons, RM
2013Verifying and comparing finite state machines for systems that have distributed interfacesHierons, RM