Author: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (20th 2008 Tokyo, Japan)