Abstractions for modelbased testing (2005)

by W Prenninger, A Pretschner
Venue:In Proc. of the 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Electronic Notes in Theoretical Computer Science 116:5971