A Model Checking based Test Case Generation Framework forWeb Services.
Yongyan ZhengJiong ZhouPaul KrausePublished in: ITNG (2007)
Keyphrases
- model checking
- artifact centric
- temporal logic
- model checker
- abstract interpretation
- formal specification
- formal verification
- test case generation
- symbolic model checking
- automated verification
- transition systems
- timed automata
- database
- temporal properties
- concurrent systems
- static analysis
- ordered binary decision diagrams