Statistical Model Checking Meets Property-Based Testing, ICST 2017

Richard Alexander Schumi (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Statistical Model Checking Meets Property-Based Testing
Period16 Mar 2017
Held at10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Event typeConference
LocationTokyo, Japan