Sciweavers

Share
111 search results - page 1 / 23
» Testing Input Output Partial Order Automata
Sort
View
PTS
2007
99views Hardware» more  PTS 2007»
12 years 3 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
PTS
2003
83views Hardware» more  PTS 2003»
12 years 3 months ago
A Guided Method for Testing Timed Input Output Automata
Abdeslam En-Nouaary, Rachida Dssouli
FORTE
1997
12 years 3 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
PTS
2003
73views Hardware» more  PTS 2003»
12 years 3 months ago
Testing Transition Systems with Input and Output Testers
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...
Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
CORR
2010
Springer
137views Education» more  CORR 2010»
12 years 2 months ago
On broadcast channels with binary inputs and symmetric outputs
We study the capacity regions of broadcast channels with binary inputs and symmetric outputs. We study the partial order induced by the more capable ordering of broadcast channels...
Yanlin Geng, Chandra Nair, Shlomo Shamai, Zizhou V...
books