TY  - RPRT
TI  - Concolic Testing in Logic Programming
AU  - Fred Mesnard
AU  - Étienne Payet
AU  - Germán Vidal
PY  - 2015
DO  - 10.1017/s1471068415000332
UR  - https://arxiv.org/abs/1507.05454
ID  - 1507.05454
ER  -