CSTVA@ISSTA

Publications

2016

Yavuz Köroglu, Alper Sen
Design of a Modified Concolic Testing Algorithm with Smaller Constraints. CSTVA@ISSTA (2016)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
A CHR-Based Solver for Weak Memory Behaviors. CSTVA@ISSTA (2016)
Hanefi Mercan, Cemal Yilmaz
A Constraint Solving Problem Towards Unified Combinatorial Interaction Testing. CSTVA@ISSTA (2016)
Daniel Neville, Andrew J. Malton, Martin Brain, Daniel Kroening
Towards Automated Bounded Model Checking of API Implementations. CSTVA@ISSTA (2016)

volume 1639, 2016

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. CSTVA@ISSTA 1639 (2016)