Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 9 results in range #1 to #9.
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms: Label: en
- Automated Generation of Positive and Negative Tests for Parsers: Label: en
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach: Label: en
- Time Unbalanced Partial Order: Label: en
- Calculating Probabilities of Real-Time Test Cases: Label: en
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM: Label: en
- Conformance Testing Relations for Timed Systems: Label: en
- A Note on an Anomaly in Black-Box Testing: Label: en
- Play to Test: Label: en