DeepAI AI Chat
Log In Sign Up

Concolic Testing in CLP

08/02/2020
by   Fred Mesnard, et al.
0

Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by means of substitutions) but could not represent negative constraints. In this paper, we present a novel framework for concolic testing of CLP programs that generalizes the previous technique. In the CLP setting, one can represent both positive and negative constraints in a natural way, thus giving rise to a sound and (potentially) more efficient technique. Defining verification and testing techniques for CLP programs is increasingly relevant since this framework is becoming popular as an intermediate representation to analyze programs written in other programming paradigms.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/17/2020

An SMT-Based Concolic Testing Tool for Logic Programs

Concolic testing mixes symbolic and concrete execution to generate test ...
07/12/2019

Concolic Testing Heap-Manipulating Programs

Concolic testing is a test generation technique which works effectively ...
08/19/2022

Testing Quantum Programs with Multiple Subroutines

Errors in quantum programs are challenging to track down due to the unce...
05/08/2018

Robustness Testing of Intermediate Verifiers

Program verifiers are not exempt from the bugs that affect nearly every ...
11/17/2022

Towards Trace-based Deductive Verification (Tech Report)

Contracts specifying a procedure's behavior in terms of pre- and postcon...
07/26/2018

Assurances in Software Testing: A Roadmap

As software engineering researchers, we already understand how to make t...
02/19/2019

Composing bidirectional programs monadically (with appendices)

Software frequently converts data from one representation to another and...