An SMT-Based Concolic Testing Tool for Logic Programs

17 Feb 2020 · Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal ·

Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperative programs. Other programming paradigms, like logic programming, have received less attention. In this paper, we present a concolic-based test generation method for logic programs. Our approach exploits SMT-solving for constraint resolution. We then describe the implementation of a concolic testing tool for Prolog and validate it on some selected benchmarks.

PDF Abstract

Code

Add Remove Mark official

sfortz/Pl_Concolic_Testing

Datasets

Add Datasets introduced or used in this paper

Edit Social Preview

An SMT-Based Concolic Testing Tool for Logic Programs

Code Edit Add Remove Mark official

Categories

Datasets Edit

Code

Add Remove Mark official

Datasets