2015/07/01 by Fred Mesnard, FRED MESNARD, Étienne Payet +3
Computer Science · #Code coverage #Concolic testing #Context (archaeology) #Formal Methods in Verification #Fuzz testing #Logic programming #Machine Learning and Algorithms #Path (computing) #Program analysis #Random testing #Software #Software Testing and Debugging Techniques #Symbolic execution #cs.PL
paper · pdf · doi:10.1017/s1471068415000332
published as Theory and Practice of Logic Programming 15 (2015) 711-725 · To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015
openalex publication_date 2015/07/01 · arxiv created 2015/07/20 · openalex created_date 2016/06/24 · arxiv updated 2020/02/19 · openalex updated_date 2026/08/05
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.