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

researchr

You are not signed in
Sign in
Sign up

Omer Tripp, Christoph M. Wintersteiger, editors, 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. Volume 1639 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Conference: ISSTA2016

Abstract is missing.

Design of a Modified Concolic Testing Algorithm with Smaller ConstraintsYavuz Köroglu, Alper Sen. 3-14 [doi]

A CHR-Based Solver for Weak Memory BehaviorsAllan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. 15-22 [doi]

A Constraint Solving Problem Towards Unified Combinatorial Interaction TestingHanefi Mercan, Cemal Yilmaz. 24-30 [doi]

Towards Automated Bounded Model Checking of API ImplementationsDaniel Neville, Andrew Malton, Martin Brain, Daniel Kroening. 31-42 [doi]

runs on WebDSL

翻译：