Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.003 seconds).
|2010||Canonical finite state machines for distributed systems||Hierons, RM|
|2008||The effect of the distributed test architecture on the power of testing||Hierons, RM; Ural, H|
|2011||Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas||Danicic, S; Hierons, RM; Laurence, MR|
|1998||Adaptive testing of a deterministic implementation against a nondeterministic finite state machine||Hierons, RM|