The following pages link to Mutation testing in UTP (Q1019021):
Displaying 8 items.
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Mutation testing in the refinement calculus (Q706518) (← links)
- Interface mutation test adequacy criterion: An empirical evaluation (Q1859409) (← links)
- Semantic mutation testing (Q1951641) (← links)
- Model-Based Mutation Testing of Reactive Systems (Q2842624) (← links)
- Concept Analysis Based Approach to Statistical Web Testing (Q2842629) (← links)
- Formal Approaches to Software Testing (Q5710645) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)