Testing of software and communicating systems 20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings / - Suzuki, Kenji, (Springer,)