FORTE
2003
13 years 6 months ago
2003
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...