The following pages link to Concolic Testing in CLP (Q5140007):
Displaying 6 items.
- An SMT-based concolic testing tool for logic programs (Q2039953) (← links)
- Sound and complete concolic testing for higher-order functions (Q2233484) (← links)
- Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426) (← links)
- Concolic testing in logic programming (Q4593010) (← links)
- Resource-Driven CLP-Based Test Case Generation (Q4909311) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)