Model Checking Techniques for Test Generation from Business Process Models.
Didier BuchsLevi LucioAng ChenPublished in: Ada-Europe (2009)
Keyphrases
- test generation
- business process models
- model checking
- model checker
- business process
- business processes
- temporal logic
- test cases
- control flow
- software testing
- formal verification
- process model
- temporal properties
- formal specification
- quality assurance
- automated verification
- static analysis
- formal methods
- bounded model checking
- business rules
- finite state machines
- symbolic model checking
- epistemic logic
- transition systems
- verification method
- computation tree logic
- description language
- test suite
- software engineering
- databases