November 2-4 2009, Eindhoven, the Netherlands
NEWS: The Proceedings of the conference have been published by Springer as LNCS 5826 and are now available online.
The Joint Conference of the 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software will take place as TESTCOM/FATES 2009 in Eindhoven. TESTCOM/FATES aims at being a forum for researchers, developers, testers, vendors, and users to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
TESTCOM/FATES 2009 will collocate with other related events in the first Formal Methods Week.
Wolfgang Grieskamp, from Microsoft Corporation, will give an invited talk in TESTCOM/FATES 2009. The title of the talk is:
A success story for model-based testing: Microsoft's protocol documentation quality assurance program
Dr. Wolfgang Grieskamp is a Principal Architect in the Microsoft Windows division. His current work is related to creating tools and methods which enable engineers to build, test, and maintain interoperable products which confirm to technical documentations. Dr. Grieskamp’s team is assigned with the QA of all of Windows protocol documentation, for which model-based technologies are applied. Before joining Windows Dr. Grieskamp worked as Senior Researcher at Microsoft Research, where he developed the model-based testing family of tools known as Spec Explorer. Spec Explorer moved with him from research into the Windows organization. Before joining Microsoft Research in 2001, Dr. Grieskamp was associated with the Technical University of Berlin in various research projects with the German industry related to applying formal methods for development of embedded systems. Dr. Grieskamp serves in the editorial board of the Journal of Software Testing, Verification, and Reliability (STVR), and on various program committees.