Towards Integrating Statistical Model Checking into Property-Based Testing

Suchergebnisse

• Abgeschlossen

  TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems

  Aichernig, B. (Projektleiter an der OE)

  1/11/14 → 31/10/17

  Projekt: Forschungsprojekt

  • Nonfunctional Property 100%
  • Industrial Case 100%
  • Random Test 100%
  • Coverage Criterion 100%
  • Regular Expression 100%