Skip to main content
×
Home
    • Aa
    • Aa

Concolic testing in logic programming*

  • FRED MESNARD (a1), ÉTIENNE PAYET (a1) and GERMÁN VIDAL (a2)
Abstract
Abstract

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.

Copyright
Footnotes
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.

Footnotes
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

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? *
×

Keywords:

Type Description Title
PDF
Supplementary Materials

Mesnard supplementary material
Online Appendix

 PDF (228 KB)
228 KB

Metrics