Skip to main content
    • Aa
    • Aa

Concolic testing in logic programming*


Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution. Our approach is fully automatic and guarantees full path coverage when it terminates. We prove some basic properties of our technique and illustrate its practical usefulness through a prototype implementation.

Hide All

This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economía y Competitividad under grant TIN2013-44742-C4-1-R and by the Generalitat Valenciana under grant PROMETEOII/2015/013. Part of this research was done while the third author was visiting the University of Reunion; G. Vidal gratefully acknowledges their hospitality.

Hide All
P. Godefroid , N. Klarlund , and K. Sen 2005. DART: directed automated random testing. In Proc. of PLDI'05. ACM, 213223.

P. Godefroid , M. Levin , and D. Molnar 2012. Sage: whitebox fuzzing for security testing. CACM 55, 3, 4044.

J. C. King 1976. Symbolic execution and program testing. CACM 19, 7, 385394.

J. Lloyd 1987. Foundations of Logic Programming. Springer-Verlag, Berlin. 2nd Ed.

A. Martelli and U. Montanari 1982. An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems 4, 258282.

Z. Somogyi , F. Henderson , and T. Conway 1996. The execution algorithm of Mercury, an efficient purely declarative Logic Programming language. The Journal of Logic Programming 29, 1–3, 1764.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Type Description Title
Supplementary Materials

Mesnard supplementary material
Online Appendix

 PDF (228 KB)
228 KB


Full text views

Total number of HTML views: 0
Total number of PDF views: 18 *
Loading metrics...

Abstract views

Total abstract views: 102 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 17th October 2017. This data will be updated every 24 hours.