Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro. A Hybrid Testing Environment between Execution Test and Model Checking for IoT System. In IEEE International Conference on Consumer Electronics, ICCE 2019, Las Vegas, NV, USA, January 11-13, 2019. pages 1-2, IEEE, 2019. [doi]
Abstract is missing.