Concolic testing in logic programming

DOI10.1017/S1471068415000332zbMath1379.68078arXiv1507.05454OpenAlexW3101423763MaRDI QIDQ4593010

Germán Vidal, Fred Mesnard, Étienne Payet

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.05454

zbMATH Keywords

testinglogic programmingsymbolic execution

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Reversible debugging in logic programming ⋮ Concolic Testing in CLP ⋮ Concolic Execution in Functional Programming by Program Instrumentation ⋮ An SMT-based concolic testing tool for logic programs ⋮ Selective Unification in (Constraint) Logic Programming*

Uses Software

• CUTE
• DART
• QuickCheck
• Java PathFinder
• Mercury
• SICStus
• SWI-Prolog

Cites Work

• Unnamed Item
• Unnamed Item
• SICStus Prolog—The first 25 years
• SWI-Prolog
• ECLⁱPS^e – From LP to CLP
• An overview of Ciao and its design philosophy
• Concolic Execution and Test Case Generation in Prolog
• Test case generation for object-oriented imperative languages in CLP
• Automatic Generation of Test Inputs for Mercury
• An Efficient Unification Algorithm
• Symbolic execution and program testing
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog

This page was built for publication: Concolic testing in logic programming