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 155 to 157 of 157 < previous 
Issue DateTitleAuthor(s)
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