JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for FMNET Archives


FMNET Archives

FMNET Archives


FMNET@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Monospaced Font

LISTSERV Archives

LISTSERV Archives

FMNET Home

FMNET Home

FMNET  2006

FMNET 2006

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

The International Event for Testing of Software and Communiction Systems (TESTCOM/FATES 2007): Call for Papers/Tutorials/Workshops

From:

Wolfgang Grieskamp <[log in to unmask]>

Reply-To:

Wolfgang Grieskamp <[log in to unmask]>

Date:

Wed, 15 Nov 2006 01:10:48 -0800

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (253 lines)

            Call for Papers/Tutorials/Workshops
          
                   TESTCOM / FATES '07


      The International Event for Testing of Software
                and Communication Systems
     
19th IFIP Int. Conference on Testing Communication 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 2007


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 communication systems.


Topics of interest
==================

* Aspects of testing: test derivation, test selection, test
coverage, test implementation and execution, test result
analysis, test oracles, test management, monitoring and
runtime verification, test frameworks, (automatic)
partitioning

* Model-based testing: (formal) models and modeling
languages (automata, state machines, process algebra,
logics, SDL, UML, Markov-chains, etc.), (on-line, off-line,
on-the-fly) test generation from models, model coverage

* Different kinds of testing: functional, interoperability,
performance, conformance, security, reliability,
robustness, etc.

* Different application areas: communication systems, among
which protocols, middleware, (ad-hoc) networks, (web-
)services, wireless applications, sensor networks, control
systems, business information systems, embedded (real-time)
software, web applications, etc.

* Combinations of different testing techniques, and
combinations with other validation techniques, e.g.
combined verification and testing

* Test tools to support any of the testing activities

* Case studies and industrial applications of testing
methodologies and test tools


Types of contributions
======================

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

* Full theory-oriented research papers (maximum 16 pages)
describing results of theoretical or experimental research,
which should be original, significant, and sound

* Full application-oriented research papers (maximum 16
pages) describing results of experiments with, or
applications of new testing methodologies, test tools, or
industrial transfer, which should be significant, and which
should provide sufficient (quantitative) data to assess the
experiment or application

* Work-in-progress, position papers, or short experience
reports (maximum 4 pages; not necessarily original;
lightweight reviewing; not published in the official
proceedings)

* Tool demonstration proposals (maximum 4 pages; not
necessarily original; not published in the official
proceedings)

* Tutorial proposals (3 pages tutorial description)


Submissions
===========
Contributions for TESTCOM/FATES'07 have to be submitted electronically
in PDF format via the conference website
http://testcom-fates07.ioc.ee. 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 (to be confirmed); see
http://www.springeronline.com/lncs.

Workshops
=========
There are ample opportunities to organize half- or full-day satellite
workshops, related to the main theme of the conference. Proposals for
workshops should be sent to the PC chairs at [log in to unmask] by
December 20, 2006.

Important dates
===============
* February 18, 2007: Deadline for submission of abstracts
of full research papers
* February 25, 2007: Deadline for submission of full
research papers
* April 2, 2007: Notification about acceptance of full
research papers
* April 13, 2007: Camera-ready copy of full research papers
* April 19, 2007: Deadline for submission of work-in-
progress, position papers, short experience reports, tool
demonstrations, tutorial proposals
* April 30, 2007: Notification about acceptance of work-in-
progress, position papers, short experience reports, tool
demonstrations, tutorial proposals
* June 26-29, 2007: Conference

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)


Program 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 Goettingen, 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 Goettingen, Germany
Antti Huima, Conformiq Software Ltd., Finland
Thierry Jeron, IRISA Rennes, France
Ferhat Khendek, Concordia U, Canada
Myungchul Kim, ICU, Korea
Hartmut Koenig, BTU Cottbus, Germany
Victor 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 Nunez, 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, New Zealand
M Umit Uyar, City U of New York, USA
Juri Vain, Tallinn U of Technology, Estonia
Margus Veanes, Microsoft Research, USA (co-chair)
Carsten Weise, Ericsson, Germany
Burkhart Wolff, ETH, 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://cs.ttu.ee/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 [log in to unmask]

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
June 2009
May 2009
April 2009
March 2009
February 2009
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager