1
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort...

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Concurrent System Testing -- Implementation Relations for the Distributed Test Architecture -- Modular System...