Keyphrases
- test suite
- web services
- test suite reduction
- test cases
- test case generation
- regression testing
- description language
- software testing
- business processes
- model checker
- number of test cases
- web service technology
- mutation testing
- business process
- static analysis
- software development
- open standards
- service composition
- service oriented
- case study
- loosely coupled
- web technologies
- service discovery
- testing process
- quality of service
- service providers
- training data
- set of test cases
- data sets