Sophie Fortz, Frédéric Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, et al.. An SMT-Based Concolic Testing Tool for Logic Programs. Nakano K.; Sagonas K.
Functional and Logic Programming. FLOPS 2020, 12073, Springer, pp.215-219, 2020, Lecture Notes in Computer Science,
⟨10.1007/978-3-030-59025-3_13⟩.
⟨hal-02945459⟩