Towards Integrating Statistical Model Checking into Property-Based Testing

Bernhard K. Aichernig, Richard Alexander Schumi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
Titel14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016
Herausgeber (Verlag)IEEE Computer Society
Seiten71-76
Seitenumfang6
DOIs
PublikationsstatusVeröffentlicht - 2016

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

Aichernig, B. K., & Schumi, R. A. (2016). Towards Integrating Statistical Model Checking into Property-Based Testing. in 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 (S. 71-76). IEEE Computer Society. https://doi.org/10.1109/MEMCOD.2016.7797748

Towards Integrating Statistical Model Checking into Property-Based Testing. / Aichernig, Bernhard K.; Schumi, Richard Alexander.

14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, 2016. S. 71-76.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Aichernig, BK & Schumi, RA 2016, Towards Integrating Statistical Model Checking into Property-Based Testing. in 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, S. 71-76. https://doi.org/10.1109/MEMCOD.2016.7797748
Aichernig BK, Schumi RA. Towards Integrating Statistical Model Checking into Property-Based Testing. in 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society. 2016. S. 71-76 https://doi.org/10.1109/MEMCOD.2016.7797748
Aichernig, Bernhard K. ; Schumi, Richard Alexander. / Towards Integrating Statistical Model Checking into Property-Based Testing. 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, 2016. S. 71-76
@inproceedings{30f3e7c0535f40018552b7122ef452c6,
title = "Towards Integrating Statistical Model Checking into Property-Based Testing",
author = "Aichernig, {Bernhard K.} and Schumi, {Richard Alexander}",
year = "2016",
doi = "10.1109/MEMCOD.2016.7797748",
language = "English",
pages = "71--76",
booktitle = "14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

T1 - Towards Integrating Statistical Model Checking into Property-Based Testing

AU - Aichernig, Bernhard K.

AU - Schumi, Richard Alexander

PY - 2016

Y1 - 2016

U2 - 10.1109/MEMCOD.2016.7797748

DO - 10.1109/MEMCOD.2016.7797748

M3 - Conference contribution

SP - 71

EP - 76

BT - 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016

PB - IEEE Computer Society

ER -