Testing data processing-oriented systems from stream X-machine models
Under an Elsevier user license
open archive
Keywords
Specification based testing
Test generation
Formal specifications
Stream X-machines
Finite state machines
Cited by (0)
Copyright © 2008 Elsevier B.V. All rights reserved.