Automatic Timed Test Case Generation for Web Services Composition

Authors:
Mounir Lallali;Fatiha Zaidi;Ana Cavalli;Iksoon Hwang
Affiliations:
-;-;-;-
Venue:
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Year:
2008

Citing 0
Cited 5

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
A comparative evaluation of state-of-the-art web service composition testing approaches

Proceedings of the 6th International Workshop on Automation of Software Test
Checking the behavioral conformance of web services with symbolic testing and an SMT solver

TAP'11 Proceedings of the 5th international conference on Tests and proofs
DDAT: data dependency analysis tool for web service business processes

ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The increasing availability of Web Services asked for investigating ways to automate the discovery process. Discovery processes enhanced with semantics can be recognize to be general, but often they lack the flexibility needed in specific domains. In ...