Use filters to refine the search results.
Results 1-9 of 9 (Search time: 0.017 seconds).
|2001||Checking states and transitions of a set of communicating finite state machines||Hierons, RM|
|2001||Testing a system specified using Statecharts and Z||Hierons, RM; Sadeghipour, S; Singh, H|
|2008||The effect of the distributed test architecture on the power of testing||Hierons, RM; Ural, H|
|2006||Overcoming observability problems in distributed test architectures||Chen, J; Hierons, RM; Ural, H|
|1997||Testing from semi-independent communicating finite state machines with a slow environment||Hierons, RM|
|2004||Testing conformance of a deterministic implementation against a non-deterministic stream X-machine||Harman, M; Hierons, RM|
|2012||Controllability problems in MSC-based testing||Dan, H; Hierons, RM|
|2008||Checking sequences for distributed test architectures||Hierons, RM; Ural, H|
|2010||Reaching and distinguishing states of distributed systems||Hierons, RM|