1
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...-Based Testing of Concurrent Systems -- Automated Systematic Testing of Open Distributed Programs...