HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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 metadata

Cited literature [27 references]  Display  Hide  Download

Contributor : Réunion Univ Connect in order to contact the contributor
Submitted on : Friday, November 9, 2018 - 9:06:43 AM
Last modification on : Friday, January 21, 2022 - 3:27:01 AM
Long-term archiving on: : Sunday, February 10, 2019 - 1:03:18 PM




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⟩



Record views


Files downloads