Statistical Model Checking Meets Property-Based Testing

Bernhard K. Aichernig, Richard Alexander Schumi

Institut für Softwaretechnologie (7160)

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

1 Ergebnisse
- Titel
- Startdatum(aufsteigend)

Statistical Model Checking Meets Property-Based Testing, ICST 2017
Richard Alexander Schumi (Redner/in)
16 März 2017
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science