CfP: CSTVA'10 - 2nd Workshop on Constraints in Software Testing, Verification and Analysis

CALL FOR PAPERS CSTVA'10 2nd Workshop on Constraints in Software Testing, Verification and Analysis http://www.st.cs.uni-saarland.de/cstva10/ April 10, 2010 Paris, France Held in conjunction with the International Conference on Software Testing, Verification and Validation, ICST 2010, April 6-10, 2010: http://vps.it-sudparis.eu/icst2010/ AIMS: 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 that attracted more than 25 participants, 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 field. TOPICS: The workshop will focus on the following topics without excluding others possible topics: - Constraint-based analysis of programs - Constraint-based test input generation - Constraint-based exploration of programs - Constraint solvers over specific domains - SMT solver used in program testing - Heuristics guided by the structure of programs and models - Combination of dedicated constraint solvers - Test input generation for complex input data structures SUBMISSION AND PUBLICATION: Authors are invited to submit original contribution in the form of an extended abstract of no more than 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. Submissions will be handled with Easychair, and accepted papers will appear online in the IEEE Digital Library. IMPORTANT DATES: Submission of extended abstract: January 15, 2010 Notification: March 2, 2010 Camera ready: March 26, 2010 Workshop date: April 10, 2010 WORKSHOP CO-ORGANIZERS: Gordon Fraser, Saarland University Arnaud Gotlieb, INRIA - Rennes Claude Michel, University of Nice Alexander Pretschner, Fraunhofer IESE PROGRAM COMMITTEE: Benoit Baudry, INRIA - Rennes Sebastien Bardin, CEA - Saclay Cristian Cadar, Imperial college Hélène Collavizza, University of Nice Frédéric Dadeau, Université de Franche-Comté Catherine Dubois, Ensiie Youssef Hamadi, Microsoft Research Safraz Khurshid, University of Texas at Austin Michel Leconte, ILOG Gentilly Bruno Marre, CEA - Saclay Darko Marinov, University of Illinois Matthieu Petit, University of Roskilde Nikolai Tillmann, Microsoft Research Nicky Williams, CEA - Saclay