TAICPART 2006 | Sciweavers

19

TAICPART
2006
IEEE

170views Education» more TAICPART 2006»

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

13 years 10 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 »

14

click to vote

TAICPART
2006
IEEE

104views Education» more TAICPART 2006»

Enabling Run-Time System Verification through Built-In Testing

13 years 10 months ago

Download www2006.taicpart.org

Daniel Brenner

claim paper

Read More »

9

click to vote

TAICPART
2006
IEEE

111views Education» more TAICPART 2006»

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

13 years 10 months ago

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

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

claim paper

Read More »

15

click to vote

TAICPART
2006
IEEE

183views Education» more TAICPART 2006»

AutoAbstract: Problem Statement and Hypothetical Solutions

13 years 10 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