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.
Search
Add filters:
Use filters to refine the search results.
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 2-Aug-2018 | A tool supported methodology to passively test asynchronous systems with multiple users | Merayo, MG; Hierons, RM; Nunez, M |
| 16-Jan-2017 | Testing from Partial Finite State Machines without Harmonised Traces | Hierons, RM |
| 22-Mar-2017 | Implementation relations and probabilistic schedulers in the distributed test architecture | Hierons, RM; Nunez, M |
| 2001 | Checking states and transitions of a set of communicating finite state machines | Hierons, RM |
| 2002 | Comparing test sets and criteria in the presence of test hypotheses and fault domains | Hierons, RM |
| 2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |
| 2001 | Testing a system specified using Statecharts and Z | Hierons, RM; Sadeghipour, S; Singh, H |
| 2003 | UIO sequence based checking sequences for distributed test architectures | Hierons, RM; Ural, H |
| 2006 | Avoiding coincidental correctness in boundary value analysis | Hierons, RM |
| 2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
Discover
Subject
Date issued