Towards Integrating Statistical Model Checking into Property-Based Testing

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

Originalsprache	englisch
Titel	14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016
Herausgeber (Verlag)	IEEE Computer Society
Seiten	71-76
Seitenumfang	6
DOIs	https://doi.org/10.1109/MEMCOD.2016.7797748
Publikationsstatus	Veröffentlicht - 2016

Fields of Expertise

14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016
Schumi, R. A. (Redner/in)
18 Nov. 2016
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

@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 paper

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 -