Logik und Formale Methoden

Coverage Criteria for Nondeterministic Systems

  • Autor(en):

    David Faragó

  • Quelle:

    testing experience, The Magazine for Professional Testers; 3/2010: Metrics, pages 104-106; Díaz & Hilterscheid, September 2010; ISSN 1866-5705.

  • Datum: September 2010