Conference announcements

Call for Participation -
3rd International Conference on Software Testing, Verification and Validation (ICST'2010)

Date: Mon, 1 Feb 2010 13:49:45 +0100
Subject: [SEWORLD] CALL FOR PARTICIPATION   ICST 2010 - Paris, April 6-10 2010
From: yletraon@irisa.fr
To: seworld@sigsoft.org
cc: Yves.LeTraon@uni.lu

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


-- REGISTRATION --

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*

-- CONTENT --

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
sectors.
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)
         http://a-most.iese.fraunhofer.de/10/
      - 5th International Workshop on Mutation Analysis (Mutation 2010)
         http://www.st.cs.uni-saarland.de/mutation2010
      - 3rd International workshop on search-based software testing (SBST)
         http://www.cse.unl.edu/~myra/sbst2010/
      - SOA testing (SOAT)
         http://www.soatesting.org
      - Benchmark for event-driven software (TESTBEDS)
         http://www.cs.umd.edu/~atif/testbeds/testbeds2010.htm
      - First International workshop on validation and verification of
dynamic systems (VIDAS)
         http://freddy.cellcore.org/research/vidas/2010/

* On Saturday 10 April:
      - 2nd workshop on Constraints in Software Testing, Verification and
Analysis (CSTVA'10)
         http://www.st.cs.uni-saarland.de/cstva10/
      - First International workshop on modeling and detection of
vulnerabilities (MDV)
         http://shields-project.eu/?q=node/62
      - First International workshop on Quality of Model-Based Testing
(QuOMBAT)
         http://www.model-based-testing.de/quombat10/
      - Testing in the cloud (STITC)
         http://stitc.org/
      - Test driven development (TDD)
         http://agile.csc.ncsu.edu/tdd/
      - Benchmarks for software testing (TESTBENCH)
         http://personal.cis.strath.ac.uk/~marc/TESTBENCH10/


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

Last Call for Contributions -
3rd International Conference on Software Testing, Verification and Validation (ICST'2010)

Date: Thu, 10 Sep 2009 11:36:27 +0200
From: "Yves.letraon" 
To: 
Subject: [ecoop-info] Deadlines approaching - CF CONTRIBUTIONS -ICST 2010 -
	Third International Conference on Software Testing,
	Verification and Validation


=========================
LAST CALL FOR CONTRIBUTIONS

Third International Conference on Software Testing, Verification and 
Validation (ICST 2010)
Sponsor: IEEE Computer Society Technical Committee on Software 
Engineering (TCSE), IEEE sponsorship pending

April 6-9 2010, Paris, France

Submission of abstracts: September 25, 2009
Submission of full papers: October 2, 2009


http://vps.it-sudparis.eu/icst2010/

Validation, testing, and verification activities are already flourishing 
areas with an active participation of a large community of researchers, 
experts, and industrials. This community is highly aware of the 
importance and impact of testing on the future deployment and use of 
software and software intensive systems. As illustrated during the two 
previous successful ICST editions, intensive research activities are 
being carried out in software testing, verification, and validation 
areas. Many new important issues and challenges are constantly being 
raised leading to new research and industrial projects. The IEEE 
International Conference on Software Testing Verification and Validation 
(ICST) is the premier conference in these areas. ICST welcomes research 
papers, as well as, industrial experience reports from software 
development and testing practitioners. Two tracks will be organised to 
select the accepted papers. For the research papers, we are looking for 
high quality papers presenting original work. Industrial papers should 
address practical software testing and quality improvement challenges 
and implementations, presenting empirical results or reporting on open 
problems/challenges. All papers should discuss broader implications and 
usage of the topics addressed.

Authors of best papers from the conference will be invited to revise and 
submit extended versions of their papers for a special issue of Software 
Testing, Verification, and Reliability, a Wiley journal.

For further details regarding the conference, please consult 
http://vps.it-sudparis.eu/icst2010/

Topics of interest include, but are not limited to:
• Software testing theory and practice
• Model-based testing
• Domain specific testing including, but not limited to, security 
testing, web services testing, database testing, and OO software testing
• Verification & validation
• Quality assurance
• Model checking
• Empirical studies
• Metrics
• Fuzzing testing
• Inspections
• Tools
• Testability and diagnosability
• Design for testability
• Testing education
• Testing in multidisciplinary applications
• Embedded software
• Technology transfer
• Model-Driven Engineering
• Novel approaches to software reliability assessment

Important dates

* Papers
Submission of abstracts: September 25, 2009
Submission of full papers: October 2, 2009
Notification: December 18, 2009
Camera-ready: January 10, 2010

* Ph. D. Symposium
Same deadlines as for papers

* Workshops
Submission of proposals: September 25, 2009
Notification: November 2, 2009


_________________________
General Chair
Marie-Claude Gaudel, Univ. Paris-Sud XI, France

Program Chairs
Ana Cavalli, Telecom & Management SudParis, France
Sudipto Ghosh, Colorado State University, USA

Workshop Chairs
Paul Ammann, George Mason University, USA
Benoit Baudry, IRISA, France
Ina Schieferdecker, Fraunhφfer Institute, Germany


Ph.D. Symposium Chairs
Atif Memon, University of Maryland, USA
Manuel Nuρez, Universidad Complutense de Madrid , Spain
Fatiha Zaidi, Univ. Paris-Sud XI , France

Industry Chairs
Paul Baker, Motorola, UK
Wolfgang Grieskamp, Microsoft Research, USA
Dominique Potier, System@tic, France
Andreas Ulrich, Siemens, Germany



For further details regarding the conference, please consult 
http://vps.it-sudparis.eu/icst2010/
=========================


-- 
________________________
Yves Le Traon
Professor
University of Luxembourg
LASSY team
Phone:     (+352) 46 66 44 5262

Call for Contributions -
3rd IEEE International Conference on Software Testing, Verification and Validation (ICST'2010)

Date: Fri, 05 Jun 2009 08:57:48 +0200
From: Yves Le Traon <yletraon@irisa.fr>
To: ecoop-info@ecoop.org
Subject: [ecoop-info] CFP: Third IEEE International Conference on Software
	Testing, Verificationand, Validation (ICST 2010)

[ 100 lines deleted; see updated version above -- dc ]

Call for Contributions -
3rd IEEE International Conference on Software Testing, Verification and Validation (ICST'2010)

To: SEWORLD@cs.colorado.edu
From: Yves Le Traon <Yves.letraon@telecom-bretagne.eu>
Subject: (SEWORLD) CFP: ICST 2010
Date: Thu, 21 May 2009 01:59:05 -0600 (MDT)

[ 93 lines deleted; see updated version above -- dc ]

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2010/03/08.

Dirk Craeynest