Using schedulers to test probabilistic distributed systems
type: Item
instance of: scholarly article
title: Using schedulers to test probabilistic distributed systems
zbMATH Open document ID: 1259.68033
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6148346
zbMATH Keywords: distributed systems
zbMATH Keywords: formal testing
zbMATH Keywords: probabilistic systems
zbMATH Keywords: schedulers
author: Robert M. Hierons
author: Manuel Núñez
MaRDI profile type: Publication
full work available at URL: s00165-012-0244-5
OpenAlex ID: W2123469736
cites work: Introduction to Software Testing
cites work: Discrete time generative-reactive probabilistic processes with different advancing speeds
cites work: The synchronization problem in protocol testing and its complexity
cites work: Testing preorders for probabilistic processes.
cites work: Switched PIOA: parallel composition via distributed scheduling
cites work: A testing scenario for probabilistic processes
cites work: Characterising Testing Preorders for Finite Probabilistic Processes
cites work: Testing Finitary Probabilistic Processes
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Overcoming controllability problems in distributed testing from an input output transition system
cites work: Controllable Test Cases for the Distributed Test Architecture
cites work: Implementation relations and test generation for systems with distributed interfaces
cites work: Specification, testing and implementation relations for symbolic-probabilistic systems
cites work: Bisimulation through probabilistic testing
cites work: Forward and backward simulations. I. Untimed Systems
cites work: Refinement-oriented probability for CSP
cites work: The specification statement
cites work: Q3996918
cites work: Algebraic theory of probabilistic processes.
cites work: Coordination algorithm for distributed testing
cites work: Quiescence, fairness, testing, and the notion of implementation
cites work: Q4847023
cites work: Distributed testing without encountering controllability and observability problems
cites work: Composition and behaviors of probabilistic I/O automata
DOI: 10.1007/S00165-012-0244-5
description: scientific article; zbMATH DE number 6148346