TAICPART 2006 | Sciweavers

43

TAICPART
2006
IEEE

170views Education» more TAICPART 2006»

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

14 years 5 months ago

Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...

José García-Fanjul, Claudio de la Ri...

claim paper

Read More »

34

click to vote

TAICPART
2006
IEEE

104views Education» more TAICPART 2006»

Enabling Run-Time System Verification through Built-In Testing

14 years 5 months ago

Download www2006.taicpart.org

Daniel Brenner

claim paper

Read More »

31

click to vote

TAICPART
2006
IEEE

111views Education» more TAICPART 2006»

TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications

14 years 5 months ago

Download www.swe.informatik.uni-goettingen.de

Paul Baker, Dominic Evans, Jens Grabowski, Helmut ...

claim paper

Read More »

36

click to vote

TAICPART
2006
IEEE

183views Education» more TAICPART 2006»

AutoAbstract: Problem Statement and Hypothetical Solutions

14 years 5 months ago

Download www2006.taicpart.org

ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield

Shaukat Ali

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers