Model-Based Testing of Global Properties on Large-Scale Distributed Systems

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},
  }