Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2001 | Checking states and transitions of a set of communicating finite state machines | Hierons, RM |
2004 | Multimodal and ubiquitous computing systems: supporting independent-living older users | Perry, M; Dowdall, A; Lines, L; Hone, KS |
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 |
2007 | Business Grid Services | Bell, D; Lycett, M; de Cesare, S |
2006 | Avoiding coincidental correctness in boundary value analysis | Hierons, RM |
2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
2002 | An investigation of visual cues used to create and support frames of reference and visual search tasks in desktop virtual environments | Morar, SS; Macredie, RD; Cribbin, T |
Discover
Subject