Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo. Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019. pages 434-441, SciTePress, 2019. [doi]
Abstract is missing.