Concolic execution and test case generation in Prolog

DOI10.1007/978-3-319-17822-6_10MaRDI QIDQ2949706zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Concolic testing in logic programming
• Concolic execution in functional programming by program instrumentation
• Concolic testing in CLP
• On the completeness of selective unification in concolic testing of logic programs
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics

Cited in

(11)

• An SMT-based concolic testing tool for logic programs
• On the completeness of selective unification in concolic testing of logic programs
• A framework for guided test case generation in constraint logic programming
• Enhancing symbolic execution of heap-based programs with separation logic for test input generation
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
• Strategies for scalable symbolic execution-driven test generation for programs
• scientific article; zbMATH DE number 4059296 (Why is no real title available?)
• Concolic testing in logic programming
• Concolic testing in CLP
• Demand-Driven Compositional Symbolic Execution
• Concolic execution in functional programming by program instrumentation

This page was built for publication: Concolic execution and test case generation in Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949706)