Login / Signup
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