Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
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 |
2008 | Checking sequences for distributed test architectures | Hierons, RM; Ural, H |
2008 | Verdict functions in testing with a fault domain or test hypotheses | Hierons, RM |