Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. Model-Based Testing of Global Properties on Large-Scale Distributed Systems.
Information and Software Technology, Elsevier, 2014, 56 (7), pp.749-762.
⟨10.1016/j.infsof.2014.02.002⟩.
⟨hal-00942576⟩