Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms |
scientific article |
Statements
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (English)
0 references
2 May 2007
0 references
specification-based testing
0 references
algebraic specifications
0 references
selection criteria
0 references
unfolding
0 references
proof tree normalization
0 references
conditional rewriting
0 references
