Author: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (13th 2000 Ottawa, Canada)