Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
JCrasher: an automatic robustness tester for Java
Software—Practice & Experience
WSDL-Based Automatic Test Case Generation for Web Services Testing
SOSE '05 Proceedings of the IEEE International Workshop
Client and server verification for web services using interface grammars
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Runtime Monitoring of Message-Based Workflows with Data
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Towards Automated WSDL-Based Testing of Web Services
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Proceedings of the 14th international SPIN conference on Model checking software
A logical approach to data-aware automated sequence generation
Transactions on Computational Science XV
| Hi-index | 0.00 |
Given a web service W, a stub is a simple service S intended to impersonate W and simulate some of its input-output patterns. When W's behaviour is represented by a logic formula ϕ, S can use a satisfiability solver to drive the simulation and generate valid messages compliant with ϕ. A satisfiability solver for a variant of first-order temporal logic, called LTL-FO+, is described. Using a chain of existing, off-the-shelf tools, a stub can be generated from a set of LTL-FO+ formulæ expressing a wide range of constraints, including message sequences, parameter values, and interdependencies between both. This, in turn, produces a faithful simulation of the original service that can be used for development and testing.