QUATIC’2012 Thematic Track:
ICT Verification and Validation


Due to the heterogeneity, openness and continuous evolution of today’s systems as well as the technical and semantic interoperability barriers, security and trust concerns, the ICT Verification and Validation is still a challenge for academic research, companies and practitioners. New solutions, techniques, methodologies, practical approaches and automatic facilities, that can be integrated in the ICT lifecycle targeting ICT quality assurance need to be further investigated.

The ICT Verification and Validation track aims to collect solutions and proposals for addressing the challenging quality aspects and related problems, with particular attention on approaches, methods and techniques that can reduce the gap between research and practice.

Suggested topics of interest for this track therefore include, but are not restricted to:

  • V&V approaches in the context of SPL, MDD, AOSD, CBSE, or SOA
  • V&V of non-functional requirements (reliability, performance, usability, security, …)
  • Formal and quantitative methods to V&V
  • Off-line vs. on-line approaches to V&V
  • Automation of V&V activities
  • Empirical studies on V&V approaches and processes
  • Case studies and success stories of application of V&V research results

Paper submission

Authors should submit to http://www.easychair.org/conferences/?conf=quatic2012 a PDF version of their paper in IEEE format, not exceeding 6 pages, including figures, references, and appendices. Submissions must be original and will be reviewed by the Track Program Committee. Accepted papers will be published in the electronic IEEE proceedings of QUATIC’2012, subject to one of the authors registering for the conference. The authors of the 3 best papers of this thematic track will be invited to submit extended versions to the main track of the conference. A small number of work-in-progress papers, not exceeding 3 pages, can also be accepted. Additional information on the submission process of QUATIC’2012 and its tracks can be found at http://2012.quatic.org/tracks/thematic-tracks/ and http://2012.quatic.org and http://2012.quatic.org.

Important dates

Abstract submissions: March 30, 2012
Paper submissions: April 5, 2012
Authors’ notification: May 4, 2012
Camera-ready: June 22, 2012

Track Committee

Chair: Eda Marchetti, ISTI-CNR, Italy
Local Co-Organizing Chair: Inês Coimbra (FEUP, Portugal)

Program Committee

Antonia Bertolino, ISTI-CNR, Pisa, Italy
Emanuela G. Cartaxo, Federal University of Campina Grande, Brazil
Maria Jose Escalona, University of Seville, Spain
Lars Frantzen, Radboud University Nijmegen
Sylvia Ilieva, Sofia University, Bulgaria
Bixin Li, Southeast University, Nanjing, China
Francesca Lonetti, ISTI-CNR, Pisa, Italy
Eduardo Miranda, Institute For Software Research, Carnegie Mellon University, Pittsburgh, PA
Ioannis Parisiss, Laboratoire de Conception et d’Intégration de Systèmes, Grenoble, France
Sasikumar Punnekkat, School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden
Antonino Sabetta, SAP Research Sophia-Antipolis, France
Sira Vegas, School of Computing Universidad Politecnica de Madrid, Spain

No comments

Add Comment

You can use [geshi lang=lang_name [,ln={y|n}]][/geshi] tags to embed source code snippets.
Gravatar, Twitter author images supported.
E-Mail addresses will not be displayed and will only be used for E-Mail notifications.

To prevent automated Bots from commentspamming, please enter the string you see in the image below in the appropriate input box. Your comment will only be submitted if the strings match. Please ensure that your browser supports and accepts cookies, or your comment cannot be verified correctly.

Enclosing asterisks marks text as bold (*word*), underscore are made via _word_.