Symbolic Test Generation Using a Temporal Logic with Constrained Events.
Daguang LiuPeng WuHuimin LinPublished in: Formal Methods and Hybrid Real-Time Systems (2007)
Keyphrases
- temporal logic
- test generation
- model checking
- test cases
- temporal knowledge
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- belief revision
- static analysis
- linear temporal logic
- software testing
- quality assurance
- transition systems
- symbolic representation
- temporally extended
- bounded model checking
- temporal patterns
- computation tree logic
- relational databases
- binary decision diagrams
- petri net
- decision trees
- formal specification language