An SMT-based concolic testing tool for logic programs

Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal
September, 2020
PDF Cite DOI

Abstract

Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In this work, we present a concolic-based test generation tool for logic programs which exploits SMT-solving for constraint resolution.

Type
1
Publication
In International Symposium on Functional and Logic Programming
Concolic Testing Logic Programming SAT/SMT solving
Sophie Fortz
Sophie Fortz
Postdoctoral Researcher

My research interests include quantum programming, software product lines and behavioural modelling.