CSTVA 2013 - 5th Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013)

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. Following previous meetings held in 2006, 2010, 2011 and 2012, the aim of the CSTVA workshop is to bring together researchers and industrial people working in constraint-based testing to investigate future developments in this research field. Authors are invited to submit research papers of no more than 6 pages presenting new ideas, new results or new systems in constraint-based testing, as well as extended abstracts of no more than 2 pages, presenting either existing tools, preliminary results, or discussions of existing projects in the area.