Search


Current filters:


Start a new 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 DateTitleAuthor(s)
2004On the testability of SDL specificationsKim, KH; Ural, H; Hierons, RM
2004Amorphous procedure extractionHarman, M; Binkley, D; Singh, R; Hierons, RM
2004Loop squashing transformations for amorphous slicingHu, L; Harman, M; Hierons, RM; Binkley, D
2004Testing from a nondeterministic finite state machine using adaptive state countingHierons, RM
2004Evolving transformation sequences using genetic algorithmsFatiregun, D; Harman, M; Hierons, RM
2004Using a minimal number of resets when testing from a finite state machineHierons, RM
2004Testing conformance of a deterministic implementation against a non-deterministic stream X-machineHarman, M; Hierons, RM
2004Testability transformationHarman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M