Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. Leotta, M., Clerissi, D., Olianas, D., Franceschini, L., Ancona, D., Ricca, F., & Ribaudo, M. In Proceedings of 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), pages 434-441, 2019. SciTePress Digital Library.
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study [pdf]Paper  doi  bibtex   

Downloads: 0