Testing of Software and Communicating Systems

by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa