Sciweavers

9 search results - page 1 / 2

» pts 2003

92

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

15 years 4 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 »

98

PTS
2003

80views Hardware» more PTS 2003»

Conformance of Distributed Systems

15 years 4 months ago

Conformance of Distributed Systems

Download www.testcom2003.org

Maximilian Frey, Bernd-Holger Schlingloff

claim paper

Read More »

95

PTS
2003

90views Hardware» more PTS 2003»

Testing SIP Call Flows Using XML Protocol Templates

15 years 4 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 »

101

PTS
2003

101views Hardware» more PTS 2003»

Fast Testing of Critical Properties through Passive Testing

15 years 4 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 »

132

Voted

PTS
2003

127views Hardware» more PTS 2003»

An Automata-Based Approach to Property Testing in Event Traces

15 years 4 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 »