June 26-29 2007, Tallinn, Estonia

Call for Papers

(ASCII version, PDF version)

The International Event for Testing of Software and Communicating Systems
19th IFIP Int. Conference on Testing of Communicating Systems (TestCom) and
7th Int. Workshop on Formal Approaches to Testing of Software (FATES)

Tallinn, Estonia June 26 -29, 2007
http://testcom-fates07.ioc.ee

Co-located with FORTE'07

For the first time, IFIP TESTCOM and FATES will be conducted jointly in Tallinn in the Summer of 2007. Bringing together the communities of these two established testing events promises to become a major testing event of 2007. We cordially invite you to submit testing related papers and join us in Tallinn!

Scope and objective

Testing is one of the most important techniques for validating and checking the correctness of communication and software systems. Testing, however, is also a laborious and very cost-intensive task during the development process of such systems. TESTCOM is a series of international conferences addressing the problems of testing communicating systems, including communication protocols, services, distributed platforms, and middleware. FATES is an international series of workshops discussing the challenges of using rigorous and formal methods for testing software systems, such as communication-, control-, embedded-, administrative-, and web-based software. TESTCOM/FATES'07 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 software and communicating systems.

Topics of interest

Types of contributions

Different kinds of contributions are solicited for TESTCOM/FATES'07:

Submissions

Contributions for TESTCOM/FATES'07 have to be submitted electronically in PDF format via http://www.easychair.org/TESTCOMFATES07. Research papers have to follow the Springer LNCS paper format; see http://www.springer.de/comp/lncs/authors.html.

All full research paper contributions will be thoroughly reviewed by the Program Committee. Work-in-progress, position papers, short experience reports, and tool demonstration proposals will undergo a lightweight reviewing process. Tutorial proposals will be selected based on the expected benefit for the conference attendees.

The type of contribution - full theory-oriented research paper, full application-oriented research paper, work-in-progress, position paper, short experience report, tool demonstration, and tutorial proposals - must be explicitly stated by the author(s) upon submission via the conference website. The type of submission influences the review criteria as described in the types of contributions.

Accepted contributions must be presented at the conference. Accepted full research papers will be published in proceedings by Springer in the LNCS series; see http://www.springeronline.com/lncs. Accepted short contributions will be published in a Technical Report of Tallinn University of Technology with an ISBN number. LNCS formatting guidelines should be followed both for full research papers and short contributions.

Workshops

One workshop will be held as a sattellite to TESTCOM/FATES'07 on June 26, 2007:
International Workshop on Web Services - Modeling and Testing (WS-MaTe 2007).

Important dates

Steering Committee of TESTCOM

John Derrick, Chairman, U of Sheffield, UK
Ana R. Cavalli, INT, France
Roland Groz, LSR-IMAG, France
Alexandre Petrenko, CRIM, Canada

Program Committee Co-Chairs

Alexandre Petrenko, CRIM, Canada (TESTCOM), General Chair
Margus Veanes, Microsoft Research, USA (TESTCOM)
Wolfgang Grieskamp, Microsoft Research, USA (FATES)
Jan Tretmans, Embedded Systems Institute, the Netherlands (FATES)

Programme Committee

Bernhard K. Aichernig, TU Graz, Austria
Paul Baker, Motorola, UK
Antonia Bertolino, ISTI-CNR, Italy
Gregor v. Bochmann, U of Ottawa, Canada
Juris Borzovs, U of Latvia, Latvia
Rachel Cardell-Oliver, U of W. Australia, Australia
Richard Castanet, LABRI, France
Sarolta Dibuz, Ericsson, Hungary
Khaled El-Fakih, American U of Sharjah, UAE
Jens Grabowski, U of Göttingen, Germany
Wolfgang Grieskamp, Microsoft Research, USA (co-chair)
Marie-Claude Gaudel, U of Paris-Sud, France
Rob Hierons, Brunel U, UK
Teruo Higashino, Osaka U, Japan
Dieter Hogrefe, U of Göttingen, Germany
Antti Huima, Conformiq Software Ltd., Finland
Thierry Jéron, IRISA Rennes, France
Ferhat Khendek, Concordia U, Canada
Myungchul Kim, ICU, Korea
Hartmut König, BTU Cottbus, Germany
Victor V. Kuliamin, ISP RAS, Russia
David Lee, Ohio State U, USA
Bruno Legeard, Leirios, France
Alexander Letichevsky, Institute of Cybernetics, Ukraine
Giulio Maggiore, Telecom Italia Mobile, Italy
Brian Nielsen, U of Aalborg, Denmark
Manuel Núñez, UC de Madrid, Spain
Ian Oliver, Nokia Research, Finland
Doron Peled, U of Bar-Ilan, Israel
Alexandre Petrenko, CRIM, Canada, General Chair
Alexander Pretschner, ETH, Switzerland
Harry Robinson, Google, USA
Vlad Rusu, IRISA Rennes, France
Ina Schieferdecker, Fraunhofer FOKUS, Germany
Kenji Suzuki, U of Electro-Communications, Japan
Jan Tretmans, Embedded Systems Institute, the Netherlands (co-chair)
Andreas Ulrich, Siemens, Germany
Hasan Ural, U of Ottawa, Canada
Mark Utting, U of Waikato, New Zealand
M Ümit Uyar, City U of New York, USA
Jüri Vain, Tallinn U of Technology, Estonia
Margus Veanes, Microsoft Research, USA (co-chair)
Carsten Weise, Ericsson, Germany
Burkhart Wolff, ETH-Zrich, Switzerland
Jianping Wu, Tsinghua U, China
Nina Yevtushenko, Tomsk State U, Russia
Zheng Zhang, Microsoft Research Asia, China

Local organization

TESTCOM/FATES 2007 is organized by Institute of Cybernetics, a research institute of Tallinn University of Technology, and the Department of Computer Science of TUT. Local organisers are Juhan Ernits, Monika Perkmann, Jaagup Irve, Ando Saabas, Kristi Uustalu and Tarmo Uustalu.

Venue

TESTCOM/FATES'07 will take place in Tallinn, the capital of Estonia with beautiful Medieval Old Town; see http://ioc.ee/testcom-fates-forte07 for details. TESTCOM/FATES'07 is co-located with FORTE'07, the 26th IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems, see http://ioc.ee/testcom-fates-forte07. The participants registered to one of these conferences may freely attend the technical sessions of the other.

Further Information

For further information see the TESTCOM/FATES'07 Web site: http://testcom-fates07.ioc.ee or contact the program committee co-chairs by sending an e-mail to testcom-fates07@ioc.ee