Experimental comparison of approaches for checking completeness of test suites from finite state machines

• Adilson Bonifacio ^[1] ; Arnaldo Moura ^[2] ; Adenilso Simao ^[3]
  1. [1] Universidade Estadual de Londrina

     Universidade Estadual de Londrina

     Brasil

     
  2. [2] Computing Institute, University of Campinas, Campinas, Brazil
  3. [3] Institute of Mathematics and Computer Science, University of São Paulo, São Carlos, Brazil

  Mostrar afiliaciones +
• Localización: Information and software technology, ISSN 0950-5849, Nº 92, 2017, págs. 95-104
• Idioma: inglés
• Enlaces
  • Texto completo