The complexity of asynchronous model based testing
Under an Elsevier user license
open archive
Keywords
Software testing
Asynchronous channels
Model based testing
Input output transition system
Cited by (0)
Copyright © 2012 Elsevier B.V. All rights reserved.