Brunel University Research Archive (BURA) >

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:   
Sort by: In order: Results/Page Authors/Record:
Showing results 109 to 118 of 118
< 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, 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
Showing results 109 to 118 of 118
< previous