Testing of Software and Communicating Systems