Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications.
Hongda WangJianchun XingQiliang YangWei SongXuewei ZhangPublished in: Softw. Test. Verification Reliab. (2016)
Keyphrases
- service oriented
- test cases
- workflow management
- web services
- highly dynamic
- black box
- test suite
- test data
- regression testing
- service oriented architecture
- service composition
- virtual enterprise
- software testing
- model driven
- scientific workflows
- test case generation
- test data generation
- test sequences
- quantified boolean formulas
- test generation
- test case selection
- cross organizational
- test set
- model based testing
- number of test cases
- set of test cases
- test suite reduction
- satisfiability problem
- petri net
- software development
- software engineering
- enabling technologies
- training data