S. Anand, C. S. Pasareanu, and W. Visser, Symbolic execution with abstraction, STTT, vol.11, issue.1, pp.53-67, 2009.
DOI : 10.1007/s10009-008-0090-1

K. R. Apt, From Logic Programming to Prolog, 1997.

L. A. Clarke, A program testing system, Proceedings of the 1976 Annual Conference (ACM'76), pp.488-491, 1976.
DOI : 10.1145/800191.805647

P. Godefroid, N. Klarlund, and K. Sen, DART: directed automated random testing, Proc. of PLDI'05, pp.213-223, 2005.

P. Godefroid, M. Y. Levin, and D. A. Molnar, Sage: whitebox fuzzing for security testing, CACM, vol.55, issue.3, pp.40-44, 2012.

J. C. King, Symbolic execution and program testing, CACM, vol.19, issue.7, pp.385-394, 1976.

F. Mesnard, ´. E. Payet, and G. Vidal, Concolic testing in logic programming, TPLP, vol.15, issue.4-5, pp.711-725, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01451690

F. Mesnard, ´. E. Payet, and G. Vidal, Concolic testing in logic programming (extended version, CoRR, abs/1507.05454, 2015. Available from the following URL

C. Palamidessi, Algebraic Properties of Idempotent Substitutions, Proc. of 17th Int'l Colloquium on Automata, Languages and Programming, vol.443, pp.386-399, 1990.

C. S. Pasareanu and N. Rungta, Symbolic PathFinder: symbolic execution of Java bytecode, ASE, pp.179-180, 2010.

K. Sen, D. Marinov, and G. Agha, CUTE: a concolic unit testing engine for C, Proc. of ESEC/SIGSOFT FSE 2005, pp.263-272, 2005.

T. Ströder, F. Emmes, P. Schneider-kamp, J. Giesl, and C. Fuhs, A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog, LOPSTR'11, vol.7225, pp.237-252, 2011.