posted by user: fdadeau || 3090 views || tracked by 9 users: [display]

CSTVA 2012 : CSTVA'12 - 4th International Workshop on Constraints in Software Testing, Verification and Analysis


When Apr 21, 2012 - Apr 21, 2012
Where Montreal, Canada
Submission Deadline Feb 5, 2012
Notification Due Feb 21, 2012
Categories    software engineering

Call For Papers


CSTVA'12 - 4th International workshop on
Constraints in Software Testing, Verification and Analysis

A workshop of ICST'12, the 5th IEEE International Conference on Software Testing
Verification and Validation, held in Montreal, April 21, 2012

Important dates:
Submission : ***February 05, 2012***
Notification: ***February 21, 2012***
Workshop : ***April 21, 2012***

Invited speaker:
CSTVA'12 will feature an invited presentation from Vijay Ganesh, research scientist
at the Massachusetts Institute of Technology (

Research papers (***6 pages max***)
Authors are invited to submit original contributions in the form of an extended
abstract of 6 pages using the two-column IEEE format, presenting new ideas, new
results or new systems in constraint-based testing. Papers should not be
published or submitted elsewhere during the time of evaluation.

Tool demo papers or fast abstract papers (***2 pages max***)
Authors are invited to propose tool demonstrations or fast abstracts of up
to 2 pages using the two-column IEEE format, presenting new tools, new
challenges or breaking results in constraint-based testing.

All the papers accepted for presentation at the workshop will be published
within the IEEE proceedings.

Recent years have seen an increasing interest in the application of constraint
solving techniques to the testing and analysis of software systems. A significant
body of constraint-based techniques have been proposed and investigated in model-based
testing, code-based testing, property-oriented testing, statistical testing, etc.

The central idea behind these techniques is designing or using existing constraint
solvers such as SMT solvers to deal with boolean, integer, real, floating-point data
types, enumerated types, control structures, complex data structures, method calls
and so on. The constraint systems that result from these analyses usually share some
common features such as being heterogeneous and highly dynamic. This also led to the
design of domain-specific heuristics able to exploit the structure of programs or
specification models.

The workshop will focus on a broad range of topics in constrained-based testing,
verification and analysis including, but not limited to, the following:

* Constraint-based analysis of programs and models
* Constraint-based test input generation
* Constraint-based exploration of programs and models
* Heuristics guided by the structure of programs and models
* Constraint solvers over specific domains
* SMT solvers used in program testing
* Combination of dedicated constraint solvers

Following a first meeting held with the CP 2012 conference in Nantes in 2006, and
two subsequent meetings at ICST 2010 and ICST 2011, the aim of this workshop is to
bring together researchers and practitioners working in constraint-based software
testing, verification and analysis, as well as in the more general field of program
testing, to investigate future developments in this research field.

Cristian Cadar, Imperial College London, UK -
Frederic Dadeau, Universite de Franche-Comte, France -

Program committee (to be completed):
Christoph Csallner, University of Texas at Arlington, USA
Marcelo D'Amorim, University of Pernambuco, Brazil
Gordon Fraser, Saarland University, Germany
Arnaud Gotlieb, Simula Research Lab, Norway
Darko Marinov, University of Illinois, USA
Bruno Marre, CEA - Saclay, France
Claude Michel, University of Nice, France
Alessandro Orso, Georgia Institute of Technology, USA
Corina Pasareanu, NASA Ames Research Center, USA
Michel Rueher, University of Nice, France
Nikolai Tillmann, Microsoft Research, USA
Willem Visser, University of Stellenbosch, South Africa
Franz Wotawa, TU Graz, Austria

Related Resources

VSC @IEEE WETICE 2021   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021
DMSE 2021   2nd International Conference on Data Mining and Software Engineering
ISSTA 2021   International Symposium on Software Testing and Analysis
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
CST 2021   8th International Conference on Foundations of Computer Science & Technology
ICSEA 2021   The Sixteenth International Conference on Software Engineering Advances
SEAI--EI Compendex, Scopus 2021   2021 International Conference on Software Engineering and Artificial Intelligence (SEAI 2021)--EI Compendex, Scopus