Testing of Software and Communicating Systems

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 in June 2007.
The 24 revised full papers presented together with 1 invited talk were carefully reviewed and selected from initially 61 submissions to both events. The papers address all current issues in testing communicating systems and formal approaches in testing of software, ranging from classical telecommunication issues to general software testing. They were presented in 8 multipart sessions coverering automata-based testing, practical experiences, system testing, modular systems, and test quality.