[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] ICST 2010 in Paris: 1st call for contributions






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


Third IEEE International Conference on Software Testing, Verification and
Validation (ICST 2010)

April 6-9 2010, Paris, France


Sponsor: IEEE Computer Society Technical Committee on Software Engineering
(TCSE)

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 implementationspresenting 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.


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,
		embedded software 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
•	Technology transfer
•	Model-Driven Tesing
•	Agile/iterative/incremental processes
•	Open source software/3rd party software testing
•	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 15, 2010

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

For further details regarding the conference, please consult
http://vps.it-sudparis.eu/icst2010/
=========================
A more complete pdf version of this call is attached

ICSTcallForSubmissionsv3.pdf