A Hybrid Testing Environment between Execution Test and Model Checking for IoT System | IEEE Conference Publication | IEEE Xplore