Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.006 seconds).
|1998||Adaptive testing of a deterministic implementation against a nondeterministic finite state machine||Hierons, RM|
|1999||Program simplification as a means of approximating undecidable propositions||Harman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S|
|1997||Testing from semi-independent communicating finite state machines with a slow environment||Hierons, RM|
|1999||Minimizing the cost of fault location when testing from a finite state machine||Hierons, RM|
|1997||Testing from a finite state machine: Extending invertibility to sequences||Hierons, RM|