Efficient generation of test data structures using constraint logic programming and program transformation (Q3458885)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient generation of test data structures using constraint logic programming and program transformation |
scientific article |
Statements
Efficient generation of test data structures using constraint logic programming and program transformation (English)
0 references
28 December 2015
0 references
black-box testing
0 references
generation of data structures
0 references
bounded exhaustive testing
0 references
constraint logic programming
0 references
program transformation
0 references
