An SMT-based concolic testing tool for logic programs

Sep 2, 2020·
Sophie Fortz
Sophie Fortz
,
Fred Mesnard
,
Etienne Payet
,
Gilles Perrouin
,
Wim Vanhoof
,
German Vidal
· 0 min read
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
Publication
In International Symposium on Functional and Logic Programming
Concolic Testing Logic Programming SAT/SMT Solving
Sophie Fortz
Authors
Sophie Fortz
Postdoctoral Researcher
My research interests include quantum programming, software product lines and behavioural modelling.