Test generation and execution for security rules in temporal logic.

Vianney Darmaillacq, Jean-Luc Richier, Roland Groz

Browse the full ICST paper archive.