Apologies for multiple copies ...
<br>
<br>==================================================================================
<br>ICTSS 2011: The 23th IFIP International Conference on Testing Software
and Systems
<br>November 7-10, 2011
<br>Institut Henri Poincare, Paris, France
<br><a class="moz-txt-link-freetext" href="http://ictss2011.lri.fr/">http://ictss2011.lri.fr</a>
<br>----------------------------------------------------------------
<br><b class="moz-txt-star"><span class="moz-txt-tag">*</span>CALL FOR RESEARCH, INDUSTRY PAPERS<span class="moz-txt-tag">*</span></b>
<br>NEW DATES
<br>
<br>Abstract submission: May 15, 2011
<br>Paper submission: May 22, 2011
<br>
<br>==================================================================================
<br>----------
<br>Scope and Objectives
<br>----------
<br>Testing is one of the most important technique for the (partial)
verification of communication and software systems as well as the
validation of their models. Testing, if done right, is known to be a
laborious and very cost-intensive task during the development of such
systems; in extreme cases, more than 70% of the development cost in
industrial development processes were spent for testing. ICTSS is a
series of international conferences addressing the conceptual,
theoretic, and practical problems of testing software systems, including
communication protocols, services, distributed platforms, middleware,
controllers and security infrastructures. The ICTSS is the successor of
previous (joint) conferences TESTCOM and FATES and aims at being a forum
for researchers, developers, testers, 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
software. The conference web-site related to this call can be found at
<a class="moz-txt-link-freetext" href="http://ictss2011.lri.fr/">http://ictss2011.lri.fr</a>
<br>------------------
<br>Topics of interest
<br>------------------
<br>Topics of interest include but are not limited to, the following:
<br>- 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;
<br>- model-based testing: formal models and modeling languages such as
automata, state machines, process algebra, logics, SDL, UML, HOL,
Markov-chains, test generation from models, model coverage;
<br>- kind of testing: functional, interoperability, performance,
conformance, security, reliability, robustness, etc.;
<br>- application areas: communicating systems such as protocols,
middleware, networks, Web services, wireless applications, control
systems, business information systems, embedded and real-time software,
etc.;
<br>- combinations of different testing techniques, in particular techniques
for the automated generation of test data;
<br>- tools to support any of the testing activities;
<br>- case studies and industrial applications involving qualified empirical
evaluations.
<br>----------------------
<br>Types of Contributions
<br>----------------------
<br>
<br>Research papers (max. 16 pages) describing results of theoretical or
experimental research, which must be original, significant and sound.
<br>Industrial papers (max. 16 pages) describing approaches and means to
introduce new testing methodologies in industrial contexts or reporting
on industrial best practices
<br>
<br>--------------------------
<br>Submission and publication
<br>--------------------------
<br>
<br>Original papers, not submitted for publication elsewhere, have to be
submitted electronically in PDF format via easychair. All submissions
have to follow the Springer LNCS paper format.
<br>The submission type according to the categories mentioned under Types of
Contributions must be stated explicitly by the author(s) upon submission
via the conference website. The submission type influences the review
criteria.
<br>Accepted contributions must be presented at the conference. Accepted
papers are published by Springer in the LNCS series. Authors need to
sign a copyright transfer form to transfer usage rights on theirs papers
to Springer.
<br>
<br>---------------
<br>Important Dates
<br>---------------
<br>* Abstracts submission: May 8, 2011
<br>* Papers due: May 15, 2011 * Notifications: July 13, 2011
<br>* Camera ready: July 30, 2011
<br>* ICTSS 2011 conference: November 7-10, 2011
<br>------------
<br>Organization
<br>------------
<br>Program Chairs:
<br>* Burkhart Wolff, University Paris-Sud XI, France
<br>* Fatiha Zaidi, University Paris-Sud XI, France
<br>
<br>ICTSS 2011 Program Committee :
<br>
<br>* Paul Baker, Motorola, England * Achim Brucker, SAP Research, Germany
<br>* Antonia Bertolino, ISTI-CNR, Italy
<br>* Gregor V. Bochmann, University of Ottawa, Canada
<br>* Ana R. Cavalli, Telecom SudParis, France
<br>* Jim Davies, University of Oxford, UK
<br>* John Derrick, University of Sheffield, UK
<br>* Gordon Frazer, TU Graz, Austria
<br>* Jens Grabowski, University of Gottingen, Germany
<br>* Roland Groz, Grenoble INP, France
<br>* Wolfgang Grieskamp, Microsoft Research, USA
<br>* Toru Hasegawa, KDDI R&D, Japan
<br>* Rob Hierons, Brunel University, UK
<br>* Teruo Higashino, Osaka University, Japan
<br>* Dieter Hogrefe, University of Gottingen, Germany
<br>* Antti Huima, M.Sc. Tech, Finland
<br>* Thierry Jeron, IRISA Rennes, France
<br>* Ferhat Khendek, Concordia University, Canada
<br>* David Lee, Ohio State University, USA
<br>* Bruno Legeard, Leirios, France
<br>* Delphine Longuet, University of Paris-Sud XI, France
<br>* Stephane Maag, Telecom SudParis, France
<br>* Jose Carlos Maldonado, U of San Carlos; Brazil
<br>* Mercedes G. Merayo, University of Complutense de Madrid, Spain
<br>* Brian Nielsen, University of Aalborg, Danemark
<br>* Manuel Nunez, University of Complutense de Madrid, Spain
<br>* Doron Peled, University of Bar-Ilan, Israel
<br>* Alexandre Petrenko, CRIM, Canada
<br>* Antoine Rollet, University of Bordeaux 1, France
<br>* Ina Schieferdecker, Fraunhofer FOKUS, Germany
<br>* Adenilso da Silva Simao, University of San Carlos, Brazil
<br>* Kenji Suzuki, University of Electro-Communications, Japan
<br>* Nicolai Tillmann, Microsoft Research, USA
<br>* Andreas Ulrich, Siemens AG, Germany
<br>* Hasan Ural, University of Ottawa, Canada
<br>* Umit Uyar, City University of New York, USA
<br>* Margus Veanes, Microsoft Research, USA
<br>* Cesar Viho, IRISA Rennes, France
<br>* Carsten Weise, RWTH Aachen, Germany
<br>* Burkhart Wolff, University of Paris-Sud XI, France
<br>* Nina Yevtushenko, Tomsk State University, Russia
<br>* Fatiha Zaidi, University of Paris-Sud XI, France
<br>
<br>-------
<br>Contact
<br>-------
<br>Conference Website: <a class="moz-txt-link-freetext" href="http://ictss2011.lri.fr/">http://ictss2011.lri.fr</a>
<br>For any inquiries please contact the program chairs at:
<a class="moz-txt-link-abbreviated" href="mailto:ictss11@easychair.org">ictss11@easychair.org</a>