Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based Testing for Concurrent Systems: Unfolding-based Test Selection.
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14-28.
⟨10.1007/s10009-014-0353-y⟩.
⟨hal-00996000v2⟩