Model-based testing of global properties on large-scale distributed systems

• Gerson Sunyé ^[1] ; Eduardo Cunha de Almeida ^[2] ; Yves Le Traon ^[3] ; Benoit Baudry ^[4] ; Jean-Marc Jézéquel ^[4]
  1. [1] University of Nantes

     University of Nantes

     Arrondissement de Nantes, Francia

     
  2. [2] Departamento de Informática, Centro Politécnico, Curitiba, Brasil
  3. [3] Faculty of Science, Technology and Communication, Luxembourg
  4. [4] Instituto de Investigación en Ciencias de la Computación y Sistemas Aleatorios IRISA, Rennes, Francia

  Mostrar afiliaciones +
• Localización: Information and software technology, ISSN 0950-5849, Vol. 56, Nº 7, 2014, págs. 749-762
• Idioma: inglés
• DOI: 10.1016/j.infsof.2014.02.002
• Enlaces
  • Texto completo