Automated Testing of Web Services Based on Algebraic Specifications.
Dongmei LiuYuxin LiuXin ZhangHong ZhuIan BayleyPublished in: SOSE (2015)
Keyphrases
- web services
- composition of web services
- formal descriptions
- search based testing
- semi automated
- web applications
- business processes
- service oriented architecture
- automated analysis
- service architecture
- web service composition
- test data
- test cases
- service providers
- layered architecture
- web service discovery
- web services composition
- formal specification
- delay insensitive
- loosely coupled
- data intensive
- quality of service
- business process
- test set
- high level
- metadata
- software testing
- description language
- real time
- specification language
- service composition
- formal verification
- fully automated
- service oriented
- computer aided