Pages that link to "Item:Q3434613"
From MaRDI portal
The following pages link to Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613):
Displaying 7 items.
- Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
- Testing algebraic data types and processes: A unifying theory (Q1125424) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- (Q2722044) (← links)
- Testing from structured algebraic specifications: the \textsc{Veritas} case study (Q2848448) (← links)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613) (← links)
- (Q4535183) (← links)