Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, yann Thierry-Mieg. Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata.
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. pp.440-454,
⟨10.1007/978-3-642-54862-8_38⟩.
⟨hal-01216559⟩