Pages that link to "Item:Q1125424"
From MaRDI portal
The following pages link to Testing algebraic data types and processes: A unifying theory (Q1125424):
Displaying 9 items.
- Test-data generation for control coverage by proof (Q736805) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Mutation testing in UTP (Q1019021) (← links)
- A testing perspective on algebraic, denotational, and operational semantics (Q2296283) (← 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)
- (Q5856421) (← links)