Search For:

Displaying 1-5 out of 5 total
A Proactive Approach to Test Service Level Agreements
Found in: Software Engineering Advances, International Conference on
By Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
Issue Date:August 2010
pp. 453-458
Service Oriented Architectures (SOA) have emerged as a promising solution to develop interoperable and highly dynamic applications. In the domain of SOA, Service Level Agreements (SLAs) are used to specify the stipulated terms between the service provider ...
 
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Raquel Blanco, José García-Fanjul, Javier Tuya
Issue Date:April 2009
pp. 131-140
A challenging part of Software Testing entails the generation of test cases, which cost can be reduced by means of the use of techniques for automating this task. In this paper we present an approach based on the metaheuristic technique Scatter Search for ...
 
A Partition-Based Approach for XPath Testing
Found in: Software Engineering Advances, International Conference on
By Claudio de la Riva, Jose Garcia-Fanjul, Javier Tuya
Issue Date:November 2006
pp. 17
The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be accessed efficiently using the standard XPath as query language. However, the s...
 
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Found in: Practice And Research Techniques, Testing: Academic & Industrial Conference on
By José García-Fanjul, Claudio de la Riva, Javier Tuya
Issue Date:August 2006
pp. 127-130
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 method for compositions of web services. A formal verification tool (the SPIN m...
 
Coverage-based testing for Service Level Agreements
Found in: IEEE Transactions on Services Computing
By Marcos Palacios,Jose Garcia-Fanjul,Javier Tuya,George Spanoudakis
Issue Date:February 2014
pp. 1
Service Level Agreements (SLAs) are typically used to specify rules regarding the consumption of services that are agreed between the providers of the Service-Based Applications (SBAs) and their consumers. An SLA includes a list of terms that contain the g...
 
 1