Pages that link to "Item:Q3585175"
From MaRDI portal
The following pages link to Test case generation for object-oriented imperative languages in CLP (Q3585175):
Displaying 7 items.
- A framework for computing finite SLD trees (Q2258840) (← 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)
- An Integrated Approach to Assertion-Based Random Testing in Prolog (Q5097633) (← links)
- A CLP heap solver for test case generation (Q5398307) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)