Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
2021 ◽
Vol 113
(7-8)
◽
pp. 2395-2412
Keyword(s):