Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings

This volume contains the proceedings of TESTCOM/FATES 2009, a Joint Conference of the 21st IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 9th International Workshop on Formal Approachesto Testing of Software (FATES). TESTCOM/FATES 2009 was held in Eindhoven, The Netherlands, during November 2–4, 2009. In this edition, TESTCOM/FATES was part of the ?rst Formal Methods Week (FMweek). TESTCOM/FATES aims at being a forum for researchers, developers, and testers to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the ?eld of testing of communicating systemsandsoftware.TESTCOMhasa longhistory.Previouslyitwascalled- ternationalWorkshoponProtocolTest Systems (IWPTS) and changedits name latertoInternationalWorkshoponTestingofCommunicatingSystem(IWTCS). The previous events were held in Vancouver, Canada (1988); Berlin, Germany (1989);McLean,USA (1990);Leidschendam,TheNetherlands(1991);Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt,Germany(1996);Cheju Island,Korea(1997);Tomsk,Russia(1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); Sophia Antipolis, France (2003); Oxford, UK (2004); Montr´ eal, Canada (2005) andNew York,USA (2006).FATESalsohasits history.The previousworkshops were held in Aalborg, Denmark (2001); Brno, Czech Republic (2002); Montr´ eal, Canada (2003); Linz, Austria (2004); Edinburgh, UK (2005) and Seattle, USA (2006). TESTCOM and FATES became a joint conference in 2007: It has been held in Tallinn, Estonia (2007) and Tokyo, Japan (2008).