119
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...