Use filters to refine the search results.
Results 1-9 of 9 (Search time: 0.018 seconds).
|2012||The complexity of asynchronous model based testing||Hierons, RM|
|2012||Software engineering: Testing real-time embedded systems using timed automata based approaches||Abou Trab, Mohammad|
|2012||Squeeziness: An information theoretic measure for avoiding fault masking||Clark, D; Hierons, RM|
|2008||Using status messages in the distributed test architecture||Hierons, RM|
|2008||Testing from a stochastic timed system with a fault model||Hierons, RM; Merayo, MG; Nunez, M|
|2008||Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine||Hierons, RM; Ipate, F|
|2007||Heuristics for fault diagnosing when testing from finite state machines||Guo, Q; Hierons, RM; Harman, M; Derderian, K|
|2009||A testability transformation approach for state-based programs||Kalaji, AS; Hierons, RM; Swift, S|
|2009||Overcoming controllability problems with fewest channels between testers||Hierons, RM; Ural, H|