Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Browsing by Subject Finite state machine
Showing results 1 to 20 of 20
| Issue Date | Title | Author(s) |
| 2006 | Automated unique input output sequence generation for conformance testing of FSMs | Derderian, K; Hierons, RM; Harman, M; Qiang, G |
| 2010 | Canonical finite state machines for distributed systems | Hierons, RM |
| 2011 | Controllable testing from nondeterministic finite state machines with multiple ports | Hierons, RM |
| 2009 | Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences | Hierons, RM; Turker, U |
| 2016 | Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences | Hierons, RM; Turker, UC |
| 2008 | The effect of the distributed test architecture on the power of testing | Hierons, RM; Ural, H |
| 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 |
| 2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |
| 2006 | Overcoming observability problems in distributed test architectures | Chen, J; Hierons, RM; Ural, H |
| 2017 | Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMs | Hierons, RM; Turker, UC |
| 2016 | Parallel algorithms for generating harmonised state identifiers and characterising sets | Hierons, RM; Turker, U |
| 2010 | Reaching and distinguishing states of distributed systems | Hierons, RM |
| 2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
| 2006 | Separating sequence overlap for automated test sequence | Hierons, RM |
| 2000 | Testing conformance to a quasi-non-deterministic stream X-machine | Hierons, RM; Harman, M |
| 1997 | Testing from a finite state machine: Extending invertibility to sequences | Hierons, RM |
| 2004 | Using a minimal number of resets when testing from a finite state machine | Hierons, RM |
| 2008 | Verdict functions in testing with a fault domain or test hypotheses | Hierons, RM |
| 2013 | Verifying and comparing finite state machines for systems that have distributed interfaces | Hierons, RM |
