An SMT-Based Concolic Testing Tool for Logic Programs.

Sophie Fortz, Fred Mesnard, tienne Payet, Gilles Perrouin, Wim Vanhoof, Germn Vidal

Browse the full FLOPS paper archive.