Concolic testing in logic programming

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 program- ming. 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

http://hal.univ-reunion.fr/hal-01451690
Contributor : Réunion Univ <>
Submitted on : Friday, November 9, 2018 - 9:06:43 AM
Last modification on : Thursday, March 28, 2019 - 11:24:10 AM
Long-term archiving on : Sunday, February 10, 2019 - 1:03:18 PM

Identifiers

Collections

Citation

Frédéric Mesnard, Etienne Payet, Germán Vidal. Concolic testing in logic programming. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (4-5), pp.711-725. ⟨10.1017/S1471068415000332⟩. ⟨hal-01451690⟩

Share

Metrics

Record views

32

Files downloads

64