Sciweavers

9 search results - page 1 / 2

» pts 2003

60

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

14 years 10 months ago

A Guided Method for Testing Timed Input Output Automata

Download www.jos.org.cn

Abdeslam En-Nouaary, Rachida Dssouli

claim paper

Read More »

59

PTS
2003

80views Hardware» more PTS 2003»

Conformance of Distributed Systems

14 years 10 months ago

Conformance of Distributed Systems

Download www.testcom2003.org

Maximilian Frey, Bernd-Holger Schlingloff

claim paper

Read More »

52

PTS
2003

90views Hardware» more PTS 2003»

Testing SIP Call Flows Using XML Protocol Templates

14 years 10 months ago

Testing SIP Call Flows Using XML Protocol Templates

Download www.antd.nist.gov

M. Ranganathan, Olivier Deruelle, Doug Montgomery

claim paper

Read More »

70

PTS
2003

101views Hardware» more PTS 2003»

Fast Testing of Critical Properties through Passive Testing

14 years 10 months ago

Fast Testing of Critical Properties through Passive Testing

Download www-lor.int-evry.fr

José Antonio Arnedo, Ana R. Cavalli, Manuel...

claim paper

Read More »

93

PTS
2003

127views Hardware» more PTS 2003»

An Automata-Based Approach to Property Testing in Event Traces

14 years 10 months ago

An Automata-Based Approach to Property Testing in Event Traces

Download www.crim.ca

We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...

Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »