- UPDATE (5/25/15): Due to extremely low submission number, we have decided to cancel this year’s workshop
- Workshop paper submissions due: May 15, 2015 extended
Notification to authors: June 1, 2015 Camera-ready copies of authors’ papers: July 1, 2015 Workshop date: : July 14, 2015
Papers can be submitted on the CSTVA’15 submission site on EasyChair.
Research papers: Authors are invited to submit original contributions, presenting novel ideas, results or systems in constraint-based software engineering. Papers should not be published or submitted elsewhere during the time of evaluation.
Tool demo papers or fast abstract papers: Authors are invited to propose tool demonstrations or fast abstract, presenting new tools, new challenges or breaking results in constraint-based software engineering.
Submitted papers must be in PDF format, formatted according to the ACM Formatting Guidelines. (LaTeX users, please use the “Option 2” style), and must not exceed the following size limits:
- Research papers: max 10 pages for the main text, including figures, tables, appendices, references may be included on up to 2 additional pages
- Tool demo/fast abstract papers: max 6 pages
The authors of the accepted papers (except presentation-only papers) will be invited for a special edition of a ST-related journal.
Recent years have seen an increasing usage and consequent impact of SAT, SMT and Constraint Programming (CP or CSP) solvers in testing, verification and analysis of software systems. The primary reason for this is the dramatic improvement in the efficiency and expressive power of solvers. As newer and more powerful solvers are built, software engineering researchers dramatically scale existing applications such as symbolic-execution methods, or find unexpected applications for them, e.g., software product lines or fault localization methods.
This workshop will bring together researchers in solvers and software test/analysis in order to raise the awareness of constraint solving in the community, and encourage development of new applications based on tunable, extensible, and programmable solvers. The workshop will cover a broad range of topics where solvers have already made an impact, e.g., symbolic-execution based testing, verification and analysis, as well as newer applications where their use is still nascent, e.g., synthesis, software product lines and fault localization. Submission topics include, but are not limited to, the following:
- Constraint-based analysis of programs and models
- Constraint-based test input generation and fault localization
- Solvers and computer security
- SMT and CP solvers for testing, verification, analysis, and synthesis
- Programmable SMT and CP solvers
- Combinations of constraint solvers
- Solvers for software product lines
Following the 6 previous editions of this workshop, held first at the CP and then the ICST and ICSE conferences, this year’s CSTVA workshop will be held at ISSTA with the goal of strengthening the links between the solver and software test/analysis research communities. The workshop aims to encourage newer applications of solvers, showcase their rich extensible APIs, and act as a forum for feedback from users to solver developers.