Pages that link to "Item:Q3458885"
From MaRDI portal
The following pages link to Efficient generation of test data structures using constraint logic programming and program transformation (Q3458885):
Displaying 6 items.
- Smart test data generators via logic programming (Q2909153) (← links)
- Applying Constraint Logic Programming to SQL Test Case Generation (Q3558339) (← links)
- Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426) (← links)
- Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Q4988930) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Generation of algebraic data type values using evolutionary algorithms (Q6671783) (← links)