Suzuki, K.2022-03-022022-03-0220083-540-68514-6978-3-540-68514-2https://publica.fraunhofer.de/handle/publica/147093Testing of software and communicating systems. Proceedings