Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007 7th International Workshop, FATES 2007 Talli

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing.