Monic Testing of Web Services Based on Algebraic Specifications.
Dongmei LiuXian WuXin ZhangHong ZhuIan BayleyPublished in: SOSE (2016)
Keyphrases
- web services
- formal descriptions
- service providers
- test cases
- web applications
- service composition
- service oriented
- automatic discovery
- web services composition
- data intensive
- quality of service
- formal specification
- web service composition
- business processes
- service architecture
- higher order
- content management
- security flaws
- composition of web services
- description languages
- information systems
- service selection
- specification language
- functional requirements
- description language
- software development
- high level