Testing from a stochastic timed system with a fault model
type: Item
instance of: scholarly article
title: Testing from a stochastic timed system with a fault model
zbMATH Open document ID: 1161.68026
author: Robert M. Hierons
author: Mercedes G. Merayo
author: Manuel Núñez
published in: The Journal of Logic and Algebraic Programming
publication date: 2009-02-19T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5509583
zbMATH Keywords: software testing
zbMATH Keywords: stochastic time
zbMATH Keywords: non-determinism
zbMATH Keywords: fault model
MaRDI profile type: Publication
full work available at URL: j.jlap.2008.06.001
OpenAlex ID: W2055530557
cites work: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
cites work: The theory of interactive generalized semi-Markov processes
cites work: Q4532083
cites work: Algebraic theory of probabilistic and nondeterministic processes.
cites work: A testing scenario for probabilistic processes
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: Testing preorders for probabilistic processes.
cites work: Q5541342
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: A process algebra for timed systems
cites work: Q4936893
cites work: Reduced length checking sequences
cites work: Formal Approaches to Software Testing
cites work: Q4791843
cites work: Specification, testing and implementation relations for symbolic-probabilistic systems
cites work: Implementation Relations for Stochastic Finite State Machines
cites work: Testing Finite State Machines Presenting Stochastic Time and Timeouts
cites work: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
cites work: Formal testing from timed finite state machines
cites work: Algebraic theory of probabilistic processes.
cites work: Formal Techniques for Networked and Distributed Systems - FORTE 2003
cites work: Q4532084
cites work: A timed model for communicating sequential processes
cites work: \(\mathcal {HOTL}\): Hypotheses and observations testing logic
cites work: Testing timed automata
DOI: 10.1016/J.JLAP.2008.06.001
description: scientific article; zbMATH DE number 5509583