Agent-oriented technology in support of e-business
Communications of the ACM
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
BPEL4WS Unit Testing: Framework and Implementation
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Towards a BPEL unit testing framework
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Test and Analysis of Web Services
Test and Analysis of Web Services
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Semantics and analysis of business process models in BPMN
Information and Software Technology
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
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
SEAA '08 Proceedings of the 2008 34th Euromicro Conference Software Engineering and Advanced Applications
Semantics and Verification of Data Flow in UML 2.0 Activities
Electronic Notes in Theoretical Computer Science (ENTCS)
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Set Algebra for Service Behavior: Applications and Constructions
BPM '09 Proceedings of the 7th International Conference on Business Process Management
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
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Conformance testing for asynchronously communicating services
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Compact Representations and Efficient Algorithms for Operating Guidelines
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Wendy: A Tool to Synthesize Partners for Services
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
An automatic generation strategy for test cases based on constraints
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
Hi-index | 0.00 |
Service-oriented architectures propose loosely coupled interacting services as building blocks for distributed applications. Since distributed services differ from traditional monolithic software systems, novel testing methods are required. Based on the specification of a service, we introduce an approach to automatically generate test cases for black-box testing to check for conformance between the specification and the implementation of a service whose internal behavior might be confidential. Due to the interacting nature of services this is a nontrivial task.