The following pages link to (Q4472251):
Displaying 7 items.
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- State Coverage Metrics for Specification-Based Testing with Büchi Automata (Q3012971) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
