Proof-guided test selection from first-order specifications with equality (Q616851)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof-guided test selection from first-order specifications with equality |
scientific article; zbMATH DE number 5835455
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof-guided test selection from first-order specifications with equality |
scientific article; zbMATH DE number 5835455 |
Statements
Proof-guided test selection from first-order specifications with equality (English)
0 references
12 January 2011
0 references
specification-based testing
0 references
quantifier-free first-order specifications
0 references
selection criteria
0 references
test purpose
0 references
axiom coverage
0 references
unfolding
0 references
proof tree normalisation
0 references
0 references
