Dario Olianas, Maurizio Leotta, Filippo Ricca. An Approach and a Prototype Tool for Generating Executable IoT System Test Cases. In Martin J. Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo, editors, Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings. Volume 1266 of Communications in Computer and Information Science, pages 383-398, Springer, 2020. [doi]
Abstract is missing.