[isabelle] ICST 2010, April 6_10, Paris, France

CALL FOR PARTICIPATION   ICST 2010 - Paris, April 6-10 2010

Third IEEE International Conference on Software Testing, Verification and
Validation (ICST 2010)
Paris, April 6-10 2010


For online registration, please visit http://vps.it-sudparis.eu/icst2010/
and click on the left menu item "Registration".

The early registration deadline is *March 6, 2010*


Verification and validation (V&V) is a highly active area of software
engineering, involving a large community of researchers, experts, and
practitioners. The importance and high impact of V&V on the future
deployment and use of software intensive systems has long been recognized.
As the leading scientific V&V conference, ICST has been very successful in
bringing industry and research together to help shape the future of
software V&V. ICST conferences have helped identify and raise many new
important issues and challenges in V&V, driving and focusing research
activities as well as influencing testing practices in many industry
In 2010, the conference will take place in Paris, France, at Telecom
ParisTech from Tuesday April 6th to Saturday April 10th. The conference
itself will be held on April 7th, 8th, and 9th. The first and last days
will be devoted to 12 associated workshops.

The conference programme includes three outstanding keynote speeches:

* Testing, culture, and infrastructure: Google?s innovation feature
factory, Patrick Copeland, Google, San Francisco-Silicon Valley, USA

* Using formal methods and testability concepts in the avionic systems
validation and verification process, Odile Laurent, Airbus-France,
Toulouse, France

* Exploiting Advances in Computer Architecture to Support Testing Tools,
Mary Lou Soffa, The University of Virginia, Charlottesville, USA
The programme committee selected 50 papers out of 189 submissions for the
final programme, covering a number of exciting advances and innovations in
various aspects of software testing, verification and validation.
A Ph.D. symposium, including nine selected presentations/discussions of
on-going theses, will take place during the conference.

12 workshops are scheduled on April 6th and 10th.

* On Tuesday 6 April:
      - International workshop on Advances in model-based testing (AMOST)
      - 5th International Workshop on Mutation Analysis (Mutation 2010)
      - 3rd International workshop on search-based software testing (SBST)
      - SOA testing (SOAT)
      - Benchmark for event-driven software (TESTBEDS)
      - First International workshop on validation and verification of
dynamic systems (VIDAS)

* On Saturday 10 April:
      - 2nd workshop on Constraints in Software Testing, Verification and
Analysis (CSTVA'10)
      - First International workshop on modeling and detection of
vulnerabilities (MDV)
      - First International workshop on Quality of Model-Based Testing
      - Testing in the cloud (STITC)
      - Test driven development (TDD)
      - Benchmarks for software testing (TESTBENCH)

Sponsors: CNRS, Digiteo, Institut Telecom, Google, Groupe de Recherche
GPL, LRI, Region Ile-de-France, Smartesting, and System at tic-Paris-Region
competitiveness cluster.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.