Author of the publication

Towards a Runtime Verification Approach for Internet of Things Systems.

, , , , , and . ICWE Workshops, volume 11153 of Lecture Notes in Computer Science, page 83-96. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

MATTER: A tool for generating end-to-end IoT test scripts., , and . Softw. Qual. J., 30 (2): 389-423 (2022)An acceptance testing approach for Internet of Things systems., , , , , , , and . IET Softw., 12 (5): 430-436 (2018)Reducing Flakiness in End-to-End Test Suites: An Experience Report., , , and . QUATIC, volume 1439 of Communications in Computer and Information Science, page 3-17. Springer, (2021)Automatic test case generation from UML state machine diagrams.. Programming, page 31:1-31:2. ACM, (2019)STILE: a Tool for Parallel Execution of E2E Web Test Scripts., , , , and . ICST, page 460-465. IEEE, (2021)How do implementation bugs affect the results of machine learning algorithms?, , , and . SAC, page 1304-1313. ACM, (2019)Towards a Runtime Verification Approach for Internet of Things Systems., , , , , and . ICWE Workshops, volume 11153 of Lecture Notes in Computer Science, page 83-96. Springer, (2018)Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development., , , and . Softw. Qual. J., 28 (3): 1113-1145 (2020)Test Quality Assurance for E2E Web Test Suites: Parallelization of Dependent Test Suites and Test Flakiness Prevention.. University of Genoa, Italy, (2023)base-search.net (ftunivgenova:oai:iris.unige.it:11567/1118975).Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study., , , , , , and . ENASE, page 434-441. SciTePress, (2019)