Pages that link to "Item:Q5710652"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710652):
Displaying 11 items.
- Model-based testing of probabilistic systems (Q682363) (← links)
- Testing a probabilistic FSM using interval estimation (Q969041) (← links)
- Toward a theory of functional testing in discrete dynamic systems (Q1091330) (← links)
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing (Q1683463) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Characterization of simulation by probabilistic testing (Q2026807) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- (Q4255557) (← links)
- (Q4444729) (← links)
- (Q4800144) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394050) (← links)