Symbolic execution with abstraction, STTT, vol.11, issue.1, pp.53-67, 2009. ,
DOI : 10.1007/s10009-008-0090-1
From Logic Programming to Prolog, 1997. ,
A program testing system, Proceedings of the 1976 Annual Conference (ACM'76), pp.488-491, 1976. ,
DOI : 10.1145/800191.805647
DART: directed automated random testing, Proc. of PLDI'05, pp.213-223, 2005. ,
Sage: whitebox fuzzing for security testing, CACM, vol.55, issue.3, pp.40-44, 2012. ,
Symbolic execution and program testing, CACM, vol.19, issue.7, pp.385-394, 1976. ,
Concolic testing in logic programming, TPLP, vol.15, issue.4-5, pp.711-725, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01451690
Concolic testing in logic programming (extended version, CoRR, abs/1507.05454, 2015. Available from the following URL ,
Algebraic Properties of Idempotent Substitutions, Proc. of 17th Int'l Colloquium on Automata, Languages and Programming, vol.443, pp.386-399, 1990. ,
Symbolic PathFinder: symbolic execution of Java bytecode, ASE, pp.179-180, 2010. ,
CUTE: a concolic unit testing engine for C, Proc. of ESEC/SIGSOFT FSE 2005, pp.263-272, 2005. ,
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog, LOPSTR'11, vol.7225, pp.237-252, 2011. ,