Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.

Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo

Browse the full ENASE paper archive.