SAT/SMT solving

An SMT-based concolic testing tool for logic programs

Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits …

Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal