Beschreibung
Towards Integrating Statistical Model Checking into Property-Based TestingZeitraum | 18 Nov. 2016 |
---|---|
Ereignistitel | 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016 |
Veranstaltungstyp | Konferenz |
Ort | Kanpur, IndienAuf Karte anzeigen |
Fields of Expertise
- Information, Communication & Computing
Dokumente & Verweise
Verbundene Inhalte
-
Projekte
-
Veröffentlichungen
-
Towards Integrating Statistical Model Checking into Property-Based Testing
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung