@article{sunye:hal-00942576, TITLE = {{Model-Based Testing of Global Properties on Large-Scale Distributed Systems}}, AUTHOR = {Suny{\'e}, Gerson and Cunha de Almeida, Eduardo and Le Traon, Yves and Baudry, Benoit and J{\'e}z{\'e}quel, Jean-Marc}, URL = {https://inria.hal.science/hal-00942576}, JOURNAL = {{Information and Software Technology}}, PUBLISHER = {{Elsevier}}, VOLUME = {56}, NUMBER = {7}, PAGES = {749-762}, YEAR = {2014}, DOI = {10.1016/j.infsof.2014.02.002}, HAL_ID = {hal-00942576}, HAL_VERSION = {v1}, }