@inproceedings{2019-leotta-ENASE,
   title     = {Comparing Testing and Runtime Verification of {IoT} Systems: A Preliminary Evaluation based on a Case Study},
   author    = {Maurizio Leotta and Diego Clerissi and Dario Olianas and Luca Franceschini and Davide Ancona and Filippo Ricca and Marina Ribaudo},
   booktitle = {Proceedings of 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)},
   publisher = {SciTePress Digital Library},
   pages     = {434-441},
   year      = {2019},
   url       = {https://doi.org/10.5220/0007745604340441},
   doi       = {10.5220/0007745604340441},
   url       = {https://sepl.dibris.unige.it/publications/2019-leotta-ENASE.pdf},
}

{"_id":"frGqW3YxNz52Y8hYm","bibbaseid":"leotta-clerissi-olianas-franceschini-ancona-ricca-ribaudo-comparingtestingandruntimeverificationofiotsystemsapreliminaryevaluationbasedonacasestudy-2019","authorIDs":["55006f3a8eef46c572000988","5deb777d9e04d1df010000d8","5e1f7a9d08195af301000047","5e2318d9327a15de01000011","5e3acca7f2a00cdf010001a1","5e5490a1fd5b13df0100005a","9f6zgbR3JHtwqsijZ","Pz4fokfC9WEdfjBEd","YNevcgD57CncTNskK","eP7pjEJ4W6yP7rgdE","jJE4nda7tHT3JW3bD","my9fpYXQzsRRsHecc","qRNp2va3tSuJkFvde"],"author_short":["Leotta, M.","Clerissi, D.","Olianas, D.","Franceschini, L.","Ancona, D.","Ricca, F.","Ribaudo, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study","author":[{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Leotta"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Clerissi"],"suffixes":[]},{"firstnames":["Dario"],"propositions":[],"lastnames":["Olianas"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Franceschini"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Filippo"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]},{"firstnames":["Marina"],"propositions":[],"lastnames":["Ribaudo"],"suffixes":[]}],"booktitle":"Proceedings of 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)","publisher":"SciTePress Digital Library","pages":"434-441","year":"2019","url":"https://sepl.dibris.unige.it/publications/2019-leotta-ENASE.pdf","doi":"10.5220/0007745604340441","bibtex":"@inproceedings{2019-leotta-ENASE,\n title = {Comparing Testing and Runtime Verification of {IoT} Systems: A Preliminary Evaluation based on a Case Study},\n author = {Maurizio Leotta and Diego Clerissi and Dario Olianas and Luca Franceschini and Davide Ancona and Filippo Ricca and Marina Ribaudo},\n booktitle = {Proceedings of 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)},\n publisher = {SciTePress Digital Library},\n pages = {434-441},\n year = {2019},\n url = {https://doi.org/10.5220/0007745604340441},\n doi = {10.5220/0007745604340441},\n url = {https://sepl.dibris.unige.it/publications/2019-leotta-ENASE.pdf},\n}\n\n","author_short":["Leotta, M.","Clerissi, D.","Olianas, D.","Franceschini, L.","Ancona, D.","Ricca, F.","Ribaudo, M."],"key":"2019-leotta-ENASE","id":"2019-leotta-ENASE","bibbaseid":"leotta-clerissi-olianas-franceschini-ancona-ricca-ribaudo-comparingtestingandruntimeverificationofiotsystemsapreliminaryevaluationbasedonacasestudy-2019","role":"author","urls":{"Paper":"https://sepl.dibris.unige.it/publications/2019-leotta-ENASE.pdf"},"metadata":{"authorlinks":{"leotta, m":"https://person.dibris.unige.it/leotta-maurizio/publications.php"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.disi.unige.it/person/LeottaM/publications.bib","creationDate":"2019-05-31T11:21:25.585Z","downloads":0,"keywords":[],"search_terms":["comparing","testing","runtime","verification","iot","systems","preliminary","evaluation","based","case","study","leotta","clerissi","olianas","franceschini","ancona","ricca","ribaudo"],"title":"Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study","year":2019,"dataSources":["LXjRbk5PnzwuMzpa3","L4MmnFQ9js4SGijb8","8SWG3qY45gh6hT2WD"]}