by Gerson Sunyé, Eduardo Cunha De Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
Reference:
Model-Based Testing of Global Properties on Large-Scale Distributed Systems (Gerson Sunyé, Eduardo Cunha De Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In Information and Software Technology, volume 56, 2014.
Bibtex Entry:
@article{sunye14, 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://hal.inria.fr/hal-00942576}, JOURNAL = {{Information and Software Technology}}, YEAR = {2014}, volume={56}, number={7}, pages={749--762}, X-International-Audience = {yes}, X-Language = {EN}, x-abbrv = {IST}, }