Test Sequence Generation for Multiprocess Communication Systems