Model Checking Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Alexandre Duret-Lutz; Fabrice Kordon (Trans. Petri Nets Other Model. Concurr., 2012)

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Alexandre Duret-Lutz; Fabrice Kordon; Yann Thierry-Mieg (TACAS, 2014)

Improving the model checking of stutter-invariant LTL properties. (Amélioration du model checking des propriétés LTL insensibles au bégaiement). - Ala-Eddine Ben Salem (2014)

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Mohamed Graiet (ACSD, 2015)

Extending Testing Automata to All LTL. - Ala-Eddine Ben Salem (FORTE, 2015)

Single-Pass Testing Automata for LTL Model Checking. - Ala-Eddine Ben Salem (LATA, 2015)