| Vol-1639 urn:nbn:de:0074-1639-5 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# 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

- Preface
  Omer Tripp, Christoph M. Wintersteiger

- Keynote I: An Empirical Understanding of Conflict-Driven Clause-Learning SAT Solvers 1-1
  Vijay Ganesh
- Keynote II: Leveraging Constraint Solvers in Building Reliable Multithreaded Software 2-2
  Murali Krishna Ramanathan
- Design of a Modified Concolic Testing Algorithm with Smaller Constraints 3-14
  Yavuz Koroglu, Alper Sen
- A CHR-Based Solver for Weak Memory Behaviors 15-22
  Allan Blanchard, Nikolai Kosmatov, Frederic Loulergue
- A Constraint Solving Problem Towards Unified Combinatorial Interaction Testing 24-30
  Hanefi Mercan, Cemal Yilmaz
- Towards Automated Bounded Model Checking of API Implementations 31-42
  Daniel Neville, Andrew Malton, Martin Brain, Daniel Kroening

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|