## Search

##### Add filters:

Use filters to refine the search results.

Item hits:

Issue Date | Title | Author(s) |
---|---|---|

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 | Controllable testing from nondeterministic finite state machines with multiple ports | Hierons, RM |

2006 | Automated unique input output sequence generation for conformance testing of FSMs | Derderian, K; Hierons, RM; Harman, M; Qiang, G |

2006 | Overcoming observability problems in distributed test architectures | Chen, J; Hierons, RM; Ural, H |

2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |

2006 | Separating sequence overlap for automated test sequence | Hierons, RM |

2010 | Generating a checking sequence with a minimum number of reset transitions | Hierons, RM; Ural, H |

1999 | Minimizing the cost of fault location when testing from a finite state machine | Hierons, RM |

2004 | Using a minimal number of resets when testing from a finite state machine | Hierons, RM |