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|