Concolic Execution and Test Case Generation in Prolog

DOI10.1007/978-3-319-17822-6_10zbMath1457.68043OpenAlexW844671342MaRDI QIDQ2949706

Germán Vidal

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/70656

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Concolic testing in logic programming ⋮ Concolic Testing in CLP ⋮ Concolic Execution in Functional Programming by Program Instrumentation ⋮ An SMT-based concolic testing tool for logic programs

This page was built for publication: Concolic Execution and Test Case Generation in Prolog