Evaluation diversity for graph conditions (Q6156934)
From MaRDI portal
scientific article; zbMATH DE number 7697492
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Evaluation diversity for graph conditions |
scientific article; zbMATH DE number 7697492 |
Statements
Evaluation diversity for graph conditions (English)
0 references
19 June 2023
0 references
graph logic
0 references
logic coverage
0 references
coverage criteria
0 references
model generation
0 references
validation
0 references
debugging
0 references
