Statistical Model Checking Meets Property-Based Testing, ICST 2017

Verbundene Inhalte

• Projekte

• TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]

  Projekt: Foschungsprojekt

• Veröffentlichungen

• Statistical Model Checking Meets Property-Based Testing

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung