Towards Integrating Statistical Model Checking into Property-Based Testing

Bernhard K. Aichernig, Richard Alexander Schumi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016
PublisherIEEE Computer Society
Pages71-76
Number of pages6
DOIs
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Projects

Activities

  • 1 Talk at conference or symposium

14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016

Richard Alexander Schumi (Speaker)
18 Nov 2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

Cite this

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 (pp. 71-76). IEEE Computer Society. https://doi.org/10.1109/MEMCOD.2016.7797748