Single-Pass Testing Automata for LTL Model Checking.

Ala-Eddine Ben Salem

Browse the full LATA paper archive.