Collection's Items (Sorted by Submit Date in Descending order): 81 to 104 of 104
Issue Date | Title | Author(s) |
2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
2001 | Checking states and transitions of a set of communicating finite state machines | Hierons, RM |
2003 | UIO sequence based checking sequences for distributed test architectures | Hierons, RM; Ural, H |
2001 | Testing a system specified using Statecharts and Z | Hierons, RM; Sadeghipour, S; Singh, H |
2001 | Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults | Hierons, RM |
2006 | Applying adaptive test cases to nondeterministic implementations | Hierons, RM |
2004 | Using a minimal number of resets when testing from a finite state machine | Hierons, RM |
1997 | Testing from semi-independent communicating finite state machines with a slow environment | Hierons, RM |
2000 | Testing conformance to a quasi-non-deterministic stream X-machine | Hierons, RM; Harman, M |
2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
1998 | Adaptive testing of a deterministic implementation against a nondeterministic finite state machine | Hierons, RM |
1997 | Testing from a finite state machine: Extending invertibility to sequences | Hierons, RM |
2005 | Branch-coverage testability transformation for unstructured programs | Hierons, RM; Harman, M; Fox, CJ |
2002 | Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine | Hierons, RM |
1999 | Minimizing the cost of fault location when testing from a finite state machine | Hierons, RM |
2006 | Separating sequence overlap for automated test sequence | Hierons, RM |
2004 | Testability transformation | Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M |
2005 | Improved test quality using robust unique input/output circuit sequences (UIOCs) | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2005 | Constructing multiple unique input/output sequences using metaheuristic optimisation techniques | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2006 | Automated unique input output sequence generation for conformance testing of FSMs | Derderian, K; Hierons, RM; Harman, M; Qiang, G |
2005 | ConSUS: A light-weight program conditioner | Danicic, S; Daoudi, M; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Ourabya, L; Ward, M |
2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |
2006 | Overcoming observability problems in distributed test architectures | Chen, J; Hierons, RM; Ural, H |
2003 | Reformulating software engineering as a search problem | Clark, JA; Dolado, JJ; Harman, M; Hierons, RM; Jones, BE; Lumkin, M; Mitchell, B; Mancoridis, S; Rees, K; Roper, M; Shepperd, MJ |
Collection's Items (Sorted by Submit Date in Descending order): 81 to 104 of 104