Complete Testing from a Stream X-Machine Specification.

Florentin Ipate Mike Holcombe

Published in: Fundam. Informaticae (2005)

Keyphrases

real time
provably correct
test case generation
data streams
formal verification
sliding window
information retrieval
high level
test set
learning algorithm
case study
special case
specification language
stream data