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

Richard Alexander Schumi (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Towards Integrating Statistical Model Checking into Property-Based Testing
Period18 Nov 2016
Held at14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016
Event typeConference
LocationKanpur, India

Keywords

  • Poster
  • Information, Communication & Computing