Logic and Formal Methods

Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing

  • Author(s):

    David Faragó

  • Source:

    31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), am 3. und 4. Februar 2011 in Paderborn. Testing in modern IT-Contexts, ROI und KPIs des Testens.

  • Date: 03. Februar 2011