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 - Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa ((Lecture Notes in Computer Science))