Keyphrases
- test cases
- software testing
- test case selection
- web services
- test data
- regression testing
- test generation
- test case generation
- test suite
- testing process
- test suite reduction
- model based testing
- number of test cases
- service oriented
- test data generation
- test sequences
- formal methods
- black box
- service composition
- business processes
- business process
- set of test cases
- web services composition
- test set
- object oriented
- integration testing
- unit testing
- web service composition
- artificial intelligence
- description language
- modeling language
- colored petri nets
- petri net
- data sets