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 146 to 156 of 156 < previous 
Issue DateTitleAuthor(s)
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; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M
2009Using formal specifications to support testingHierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, J; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, MR; Zedan, H
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; Wegener, J
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