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 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 |

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 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 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