[ecoop-info] CfPart: CSTVA'11 - 3rd Workshop on Constraints in Software Testing, Verification and Analysis

Gordon Fraser fraser at cs.uni-saarland.de
Fri Mar 4 13:49:00 CET 2011



3rd Workshop on
Constraints in Software Testing, Verification and Analysis


March 25, 2011
Berlin, Germany

Held in conjunction with the International Conference on 
Software Testing, Verification and Validation, ICST 2011, 
March 21-25, 2011:



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.

Following a first meeting held within the CP (Principles of Constraint
Programming) Conference at Nantes in 2006 and a second meeting at ICST
2010, the aim of this workshop is to bring together researchers and
industrial people working in constraint-based program analysis and
testing, as well as researchers working in the more general field of
program testing, to investigate future developments in this research


For registration details please visit the ICST 2011 website:


8:45 --  Welcome

9:00  -- Invited presentation : Patrice Godefroid, Microsoft Research

10:00 -- Break

10:30  -- Session 1

* Frederic Dadeau and Fabien Peureux. Grey-box Testing and
  Verification of Java/JML

* Cong Tian, Shaoying Liu and Shin Nakajima. Utilizing Model Checking
  for Automatic Test Case Generation from Conjunctions of Predicates

* Ikpeme Erete and Alessandro Orso. Optimizing Constraint Solving to
  Better Support Symbolic Execution

12:00 -- Lunch

14:00 -- Demo Session

* Nikolai Kosmatov, Bernard Botella, Muriel Roger and Nicky
  Williams. Online Test Generation with PathCrawler.

* Mickaël Delahaye: IPEG: Utilizing Infeasibility

* Lazaar Nadjib. CPTEST: A framework for the automatic fault
  detection, localization and correction of constraint programs

15:30 -- Break

16:00 Session 2

* Angelo Gargantini. Dealing with Constraints in Boolean Expression

* Jeremias Rößler, Alessandro Orso and Andreas Zeller. When does my
  program fail?
17:00 -- Joint Microsoft-INRIA prizes for authors of best paper and best demo

17:30 -- End of workshop


For updates on the program please check the workshop's website:


Arnaud Gotlieb, INRIA – Rennes, France
Gordon Fraser, Saarland University, Germany


Sebastien Bardin, CEA – Saclay, France
Benoit Baudry, INRIA – Rennes, France
Cristian Cadar, Imperial College, UK
Christoph Csallner, University of Texas at Arlington, USA
Marcelo d'Amorim, Federal University of Pernambuco, Brazil
Frederic Dadeau, Université de Franche-Comté, France
Catherine Dubois, Ensiie, France
Youssef Hamadi, Microsoft Research, USA
Sarfraz Khurshid, University of Texas at Austin, USA
Michel Leconte, ILOG Gentilly, France
Darko Marinov, University of Illinois, USA
Bruno Marre, CEA – Saclay, France
Claude Michel, University of Nice, France
Nikolai Tillmann, Microsoft Research, USA
Nicky Williams, CEA – Saclay, France
Franz Wotawa, Graz University of Technology, Austria

More information about the ecoop-info mailing list