Statistical Model Checking Meets Property-Based Testing | IEEE Conference Publication | IEEE Xplore