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
Event title10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017): ICST 2017
Event typeConference
LocationTokyo, Japan