Pages that link to "Item:Q3617426"
From MaRDI portal
The following pages link to Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426):
Displaying 4 items.
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- Efficient generation of test data structures using constraint logic programming and program transformation (Q3458885) (← links)
- Test case generation for object-oriented imperative languages in CLP (Q3585175) (← links)
- Resource-Driven CLP-Based Test Case Generation (Q4909311) (← links)