Pages that link to "Item:Q706518"
From MaRDI portal
The following pages link to Mutation testing in the refinement calculus (Q706518):
Displaying 5 items.
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Mutation testing in UTP (Q1019021) (← links)
- Application of mutation analysis to evaluation of program-testing quality (Q1183848) (← links)
- Model-Based Mutation Testing of Reactive Systems (Q2842624) (← links)
- Model-Based Higher-Order Mutation Analysis (Q3079800) (← links)