Test generation and execution for security rules in temporal logic.

Vianney Darmaillacq Jean-Luc Richier Roland Groz

Published 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