Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
Sebastian WieczorekVitaly KozyuraAndreas RothMichael LeuschelJens BendispostoDaniel PlaggeIna SchieferdeckerPublished in: TestCom/FATES (2009)
Keyphrases
- model checking
- temporal logic
- reactive systems
- formal verification
- temporal properties
- finite state
- finite state machines
- model checker
- verification method
- symbolic model checking
- process algebra
- timed automata
- computation tree logic
- pspace complete
- business processes
- transition systems
- automated verification
- formal methods
- abstract interpretation