Concolic testing in logic programming*. Issue 4 (3rd September 2015)

• Record Type: Journal Article
• Authors: MESNARD, FRED; PAYET, ÉTIENNE; VIDAL, GERMÁN
• Editors: Eiter, Thomas; Toni, Francesca
• Is Part Of: Theory and practice of logic programming. Volume 15:Issue 4/5(2015)
• Page Start: 711
• Page End: 725
• Publication Date: 2015-09-03
• Subjects: Symbolic execution, -- logic programming, -- testing; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068415000332
• Languages: English
• ISSNs: 1471-0684

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.