Pages that link to "Item:Q2296283"
From MaRDI portal
The following pages link to A testing perspective on algebraic, denotational, and operational semantics (Q2296283):
Displaying 6 items.
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing (Q1683463) (← 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)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)