An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
The unified software development process
The unified software development process
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Designing enterprise applications with the J2EE platform
Designing enterprise applications with the J2EE platform
Proceedings of the 24th International Conference on Software Engineering
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
Specifying Concurrent Languages and Systems with ???-Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Model-based Discovery of Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Testing the Implementation of Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Automating UML models merge for web services testing
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Service-Oriented Architectures Testing: A Survey
Software Engineering
On-The-Fly Model-Based Testing of Web Services with Jambition
Web Services and Formal Methods
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Automated UML models merging for web services testing
International Journal of Web and Grid Services
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Evaluation of online testing for services: a case study
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Service research challenges and solutions for the future internet
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Audition of web services for testing conformance to open specified protocols
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Agile test framework for business-to-business interoperability
Information Systems Frontiers
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store both syntactic and behavioral descriptions of available services and guarantee their compatibility with the requirements expressed by clients. In practice, however, interactions may still fail because the Web Service's implementation may be faulty. In fact, the client has no guarantee on the quality of the implementation associated to any service description. In this paper, we propose the idea of high-quality service discovery incorporating automatic testing for validating Web Services before allowing their registration. First, the discovery service automatically generates conformance test cases from the provided service description, then runs the test cases on the target Web Service, and only if the test is successfully passed, the service is registered. In this way, clients bind with Web Services providing a compatible signature, a suitable behavior, and a high-quality implementation.