Vol-1639
urn:nbn:de:0074-1639-5




CSTVA 2016
Constraint Solvers in Testing, Verification, and Analysis


Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis
co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016)

Saarbrücken, Germany, July 17th, 2016.


Edited by

Omer Tripp, Google, USA
Christoph M. Wintersteiger, Microsoft Research, UK





Table of Contents

We offer a BibTeX file for citing papers of this workshop from LaTeX.


2016-07-14: submitted by Christoph M. Wintersteiger, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-14: published on CEUR-WS.org |valid HTML5|