The following pages link to Towards property oriented testing (Q2870321):
Displaying 6 items.
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- Parameterized property testing of functions (Q4638061) (← links)
- Testing for a conformance relation based on acceptance (Q5044759) (← links)
- FM 2005: Formal Methods (Q5716876) (← links)
- Formal Approaches to Software Testing (Q5902016) (← links)
- Exhaustive property oriented model-based testing with symbolic finite state machines (Q6041277) (← links)