Test generation and execution for security rules in temporal logic.
Vianney DarmaillacqJean-Luc RichierRoland GrozPublished in: ICST Workshops (2008)
Keyphrases
- temporal logic
- test generation
- symbolic execution
- model checking
- linear temporal logic
- test cases
- modal logic
- active rules
- static analysis
- mazurkiewicz traces
- computation tree logic
- verification method
- quality assurance
- temporal knowledge
- software testing
- dynamic constraints
- belief revision
- active databases
- formal specification
- transition systems
- data flow
- video sequences