Concolic Testing in CLP (Q5140007)
From MaRDI portal
scientific article; zbMATH DE number 7284963
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concolic Testing in CLP |
scientific article; zbMATH DE number 7284963 |
Statements
Concolic Testing in CLP (English)
0 references
13 December 2020
0 references
CLP
0 references
verification
0 references
concolic testing
0 references
0 references
0 references
