Search
Add filters:
Use filters to refine the search results.
Results 1-8 of 8 (Search time: 0.006 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
2004 | Amorphous procedure extraction | Harman, M; Binkley, D; Singh, R; Hierons, RM |
2004 | Loop squashing transformations for amorphous slicing | Hu, L; Harman, M; Hierons, RM; Binkley, D |
2004 | Testing from a nondeterministic finite state machine using adaptive state counting | Hierons, RM |
2004 | Evolving transformation sequences using genetic algorithms | Fatiregun, D; Harman, M; Hierons, RM |
2004 | Using a minimal number of resets when testing from a finite state machine | Hierons, RM |
2004 | Testing conformance of a deterministic implementation against a non-deterministic stream X-machine | Harman, M; Hierons, RM |
2004 | Testability transformation | Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M |