Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea ... and Communication Technology) (Volume 10)