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 | 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 |
2000 | Testing conformance to a quasi-non-deterministic stream X-machine | Hierons, RM; Harman, M |