CEUR-WS.org/Vol-1639 - 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA)

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

Preface
Omer Tripp, Christoph M. Wintersteiger

Keynote I: An Empirical Understanding of Conflict-Driven Clause-Learning SAT Solvers1-1
Vijay Ganesh
Keynote II: Leveraging Constraint Solvers in Building Reliable Multithreaded Software2-2
Murali Krishna Ramanathan
Design of a Modified Concolic Testing Algorithm with Smaller Constraints3-14
Yavuz Koroglu, Alper Sen
A CHR-Based Solver for Weak Memory Behaviors15-22
Allan Blanchard, Nikolai Kosmatov, Frederic Loulergue
A Constraint Solving Problem Towards Unified Combinatorial Interaction Testing24-30
Hanefi Mercan, Cemal Yilmaz
Towards Automated Bounded Model Checking of API Implementations31-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|

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.

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

Table of Contents

CSTVA 2016Constraint 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.

Omer Tripp, Google, USAChristoph M. Wintersteiger, Microsoft Research, UK

Table of Contents

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)

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