A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL.
Huiqun ZhaoJing SunXiaodong LiuPublished in: APSCC (2012)
Keyphrases
- test suite
- web services
- model checker
- model checking
- test cases
- regression testing
- test suite reduction
- service oriented
- software testing
- number of test cases
- web services composition
- symbolic model checking
- formal methods
- business processes
- description language
- static analysis
- service composition
- temporal logic
- web service composition
- business process
- epistemic logic
- formal specification
- verification method
- service discovery
- automated verification
- formal verification
- testing process
- test generation
- service oriented architecture
- service selection
- transition systems
- semantic web services
- error rate
- temporal properties
- software components
- colored petri nets
- knowledge representation