The category-partition method for specifying and generating fuctional tests
Communications of the ACM
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Business Process Excellence: Aris in Practice
Business Process Excellence: Aris in Practice
Coyote: An XML-Based Framework for Web Services Testing
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Scenario-Based Modeling And Its Applications
WORDS '02 Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002)
On Feature Interactions among Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Contract-Based Mutation for Testing Components
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Specifying Data-Flow Requirements for the Automated Composition of Web Services
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Towards Model-based Verification of BPEL with Model Checking
CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
A Graph-Search Based Approach to BPEL4WS Test Generation
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Towards a classification of web service feature interactions
Computer Networks: The International Journal of Computer and Telecommunications Networking
AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
Model-Based Generation of Testbeds for Web Services
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Audition of web services for testing conformance to open specified protocols
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Service-Oriented Architectures Testing: A Survey
Software Engineering
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
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
Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach
Journal of Systems and Software
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
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor attention has been paid to the validation of the data flow exchange. In this chapter we study the potential of using data flow modelling for testing composite WSs. After an exhaustive exploration of the issues on testing based on data-related models, we schematically settle future research issues on the perspectives opened by data flow-based validation and present examples for some of them, illustrated on the case study of a composite WS that we have developed, the Virtual Scientific Book Store.