The following pages link to Robert M. Hierons (Q347399):
Displayed 50 items.
- (Q204586) (redirect page) (← links)
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Squeeziness: an information theoretic measure for avoiding fault masking (Q436319) (← links)
- Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas (Q624386) (← links)
- Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas (Q649588) (← links)
- The complexity of asynchronous model based testing (Q714798) (← links)
- Applying adaptive test cases to nondeterministic implementations (Q844156) (← links)
- Overcoming observability problems in distributed test architectures (Q844193) (← links)
- Reducing the cost of applying adaptive test cases (Q856734) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Overcoming controllability problems with fewest channels between testers (Q1013263) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Overcoming controllability problems in distributed testing from an input output transition system (Q1938361) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)
- Normalised squeeziness and failed error propagation (Q2274482) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Using a minimal number of resets when testing from a finite state machine (Q2390268) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- Complexity of Data Dependence Problems for Program Schemas with Concurrency (Q2946663) (← links)
- Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets (Q2985208) (← links)
- On the computational complexity of dynamic slicing problems for program schemas (Q3103616) (← links)
- Reduced length checking sequences (Q3417030) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- The Zero-Free Intervals for Characteristic Polynomials of Matroids (Q4212877) (← links)
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine (Q4245976) (← links)
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine (Q4415904) (← links)
- (Q4436979) (← links)
- (Q4451888) (← links)
- (Q4451890) (← links)
- Decidability and Complexity for Quiescent Consistency (Q4635867) (← links)
- Using Time to Add Order to Distributed Testing (Q4647846) (← links)
- Correction to "Reduced Length Checking Sequences" [Sep 02 93-99] (Q4975024) (← links)
- Inputs and Outputs in CSP (Q5121275) (← links)
- Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces (Q5274492) (← links)
- Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports (Q5280488) (← links)
- Reaching and Distinguishing States of Distributed Systems (Q5390603) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464473) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479158) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900957) (← links)
- Formal Approaches to Software Testing (Q5902017) (← links)
- Testing conformance to a quasi-non-deterministic stream X-machine (Q5944212) (← links)