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 1 to 20 of 157  next >
Issue DateTitleAuthor(s)
1998Adaptive testing of a deterministic implementation against a nondeterministic finite state machineHierons, RM
2004Amorphous procedure extractionHarman, M; Binkley, D; Singh, R; Hierons, RM
2013Amorphous slicing of extended finite state machinesAndroutsopoulos, K; Clark, D; Harman, M; Hierons, RM; Li, Z; Tratt, L
2006Applying adaptive test cases to nondeterministic implementationsHierons, RM
2014Automated generation of computationally hard feature models using evolutionary algorithmsParejo, JA; Hierons, RM; Benavides, D; Ruiz-Cortés, A
2011Automated metamorphic testing on the analyses of feature modelsSegura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A
2010Automated test data generation on the analyses of feature models: A metamorphic testing approachSegura, S; Benavides, D; Ruiz-Cortés, A; Hierons, RM
2006Automated test sequence generation for finite state machines using genetic algorithmsDerderian, Karnig Agop
2006Automated unique input output sequence generation for conformance testing of FSMsDerderian, K; Hierons, RM; Harman, M; Qiang, G
2008Automatic generation of test sequences form EFSM models using evolutionary algorithmsKalaji, AS; Hierons, RM; Swift, S
2006Avoiding coincidental correctness in boundary value analysisHierons, RM
2001Backward conditioning: A new program specialisation technique and its application to program comprehensionFox, C; Harman, M; Hierons, RM; Danicic, S
2005Branch-coverage testability transformation for unstructured programsHierons, RM; Harman, M; Fox, CJ
2010Canonical finite state machines for distributed systemsHierons, RM
2011Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemasDanicic, S; Hierons, RM; Laurence, MR
2010Checking experiments for stream X-machinesHierons, RM
2009Checking sequence construction using adaptive and preset distinguishing sequencesHierons, RM; Jourdan, GV; Ural, H; Yenigun, H
2008Checking sequences for distributed test architecturesHierons, RM; Ural, H
2001Checking states and transitions of a set of communicating finite state machinesHierons, RM
2002Code extraction algorithms which unify slicing and concept assignmentHarman, M; Gold, N; Hierons, RM; Binkley, D