| |||||||||||||
CSTVA 2012 : CSTVA'12 - 4th International Workshop on Constraints in Software Testing, Verification and Analysis | |||||||||||||
Link: http://srg.doc.ic.ac.uk/cstva12/ | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
*******************
* CALL FOR PAPERS * ******************* CSTVA'12 - 4th International workshop on Constraints in Software Testing, Verification and Analysis http://srg.doc.ic.ac.uk/cstva12/ 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 (http://people.csail.mit.edu/vganesh) Submission: ========== 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. Topics: ====== 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. Organizers: =========== Cristian Cadar, Imperial College London, UK - http://www.doc.ic.ac.uk/~cristic/ Frederic Dadeau, Universite de Franche-Comte, France - http://lifc.univ-fcomte.fr/~dadeau 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 |
|