Reggio, G.; Leotta, M.; Ricca, F.; and Clerissi, D.
DUSM: A Method for Requirements Specification and Refinement based on Disciplined Use Cases and Screen Mockups.
Journal of Computer Science and Technology (JCST), 33: 918-939. 2018.
Paper
doi
link
bibtex
@article{2018-reggio-JCST,
author = {Gianna Reggio and Maurizio Leotta and Filippo Ricca and Diego Clerissi},
title = {{DUSM}: A Method for Requirements Specification and Refinement based on Disciplined Use Cases and Screen Mockups},
journal = {Journal of Computer Science and Technology (JCST)},
year = {2018},
publisher = {Springer},
url = {https://doi.org/10.1007/s11390-018-1866-8},
doi = {10.1049/iet-sen.2017.0344},
ISSN = {1751-8806},
issue = {5},
volume = {33},
pages = {918-939},
editor = {Tao Xie},
}
Leotta, M.; Clerissi, D.; Olianas, D.; Ricca, F.; Ancona, D.; Delzanno, G.; Franceschini, L.; and Ribaudo, M.
An Acceptance Testing Approach for Internet of Things Systems.
IET Software, 12: 430-436. 2018.
Paper
doi
link
bibtex
@article{2018-leotta-IET,
author = {Maurizio Leotta and Diego Clerissi and Dario Olianas and Filippo Ricca and Davide Ancona and Giorgio Delzanno and Luca Franceschini and Marina Ribaudo},
title = {An Acceptance Testing Approach for {Internet of Things} Systems},
journal = {IET Software},
year = {2018},
publisher ={Institution of Engineering and Technology},
url = {https://doi.org/10.1049/iet-sen.2017.0344},
doi = {10.1049/iet-sen.2017.0344},
ISSN = {1751-8806},
issue = {5},
volume = {12},
editor = {Hana Chockler},
pages = {430-436},
}
Leotta, M.; Stocco, A.; Ricca, F.; and Tonella, P.
PESTO: Automated migration of DOM-based Web tests towards the visual approach.
Journal of Software: Testing, Verification and Reliability (STVR), 28(4): e1665. 2018.
Paper
doi
link
bibtex
@article{2018-leotta-STVR,
author = {Maurizio Leotta and Andrea Stocco and Filippo Ricca and Paolo Tonella},
title = {{PESTO}: Automated migration of {DOM}-based {W}eb tests towards the visual approach},
journal = {Journal of Software: Testing, Verification and Reliability (STVR)},
issn = {1099-1689},
url = {https://doi.org/10.1002/stvr.1665},
doi = {10.1002/stvr.1665},
pages = {e1665},
year = {2018},
volume = {28},
number = {4},
editor = {Jeff Offutt and Robert M. Hierons},
publisher = {John Wiley & Sons},
}
Ricca, F.; Torchiano, M.; Leotta, M.; Tiso, A.; Guerrini, G.; and Reggio, G.
On the Impact of State-based Model-Driven Development on Maintainability: A Family of Experiments using UniMod.
Journal of Empirical Software Engineering (EMSE), 23(3): 1743-1790. 2018.
Paper
doi
link
bibtex
@article{2017-ricca-EMSE,
author = {Filippo Ricca and Marco Torchiano and Maurizio Leotta and Alessandro Tiso and Giovanna Guerrini and Gianna Reggio},
title = {On the Impact of State-based Model-Driven Development on Maintainability: A Family of Experiments using {UniMod}},
journal = {Journal of Empirical Software Engineering (EMSE)},
issn = {1573-7616},
url = {https://doi.org/10.1007/s10664-017-9563-8},
doi = {10.1007/s10664-017-9563-8},
year = {2018},
volume = {23},
number = {3},
pages = {1743-1790},
editor = {Robert Feldt and Thomas Zimmermann},
publisher = {Springer},
url = {https://sepl.dibris.unige.it/publications/2018-ricca-EMSE.pdf},
}
Clerissi, D.; Leotta, M.; Reggio, G.; and Ricca, F.
Towards an Approach for Developing and Testing Node-RED IoT Systems.
In
Proceedings of 1st ACM/SIGSOFT International Workshop on Ensemble-Based Software Engineering (EnSEmble 2018), pages 1-8, 2018. ACM
Paper
doi
link
bibtex
@inproceedings{2018-clerissi-EnSEmble,
title = {Towards an Approach for Developing and Testing {Node-RED IoT} Systems},
author = {Diego Clerissi and Maurizio Leotta and Gianna Reggio and Filippo Ricca},
booktitle = {Proceedings of 1st ACM/SIGSOFT International Workshop on Ensemble-Based Software Engineering (EnSEmble 2018)},
publisher = {ACM},
pages = {1-8},
year = {2018},
url = {https://doi.org/10.1145/3281022.3281023},
doi = {10.1145/3281022.3281023},
url = {https://sepl.dibris.unige.it/publications/2018-clerissi-EnSEmble.pdf},
}
Delzanno, G.; Guerrini, G.; Leotta, M.; and Ribaudo, M.
Physical Web for Smart Campus Management.
In
Proceedings of 14th International Conference on Web Information Systems and Technologies (WEBIST 2018), pages 277-284, 2018. SciTePress Digital Library
Paper
doi
link
bibtex
@inproceedings{2018-delzanno-WEBIST,
title = {Physical Web for Smart Campus Management},
author = {Giorgio Delzanno and Giovanna Guerrini and Maurizio Leotta and Marina Ribaudo},
booktitle = {Proceedings of 14th International Conference on Web Information Systems and Technologies (WEBIST 2018)},
publisher = {SciTePress Digital Library},
pages = {277-284},
year = {2018},
url = {https://doi.org/10.5220/0006959102770284},
doi = {10.5220/0006959102770284},
url = {https://sepl.dibris.unige.it/publications/2018-delzanno-WEBIST.pdf},
}
Leotta, M.; Cerioli, M.; Olianas, D.; and Ricca, F.
Fluent vs Basic Assertions in Java: An Empirical Study.
In
Proceedings of 11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018), pages 184-192, 2018. IEEE
Paper
doi
link
bibtex
@inproceedings{2018-leotta-QUATIC,
title = {Fluent vs Basic Assertions in Java: An Empirical Study},
author = {Maurizio Leotta and Maura Cerioli and Dario Olianas and Filippo Ricca},
booktitle = {Proceedings of 11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)},
publisher = {IEEE},
pages = {184-192},
year = {2018},
url = {https://doi.org/10.1109/QUATIC.2018.00036},
doi = {10.1109/QUATIC.2018.00036},
url = {https://sepl.dibris.unige.it/publications/2018-leotta-QUATIC.pdf},
}
Leotta, M.; Ancona, D.; Franceschini, L.; Olianas, D.; Ribaudo, M.; and Ricca, F.
Towards a Runtime Verification Approach for Internet of Things Systems.
In Pautasso, C.; Sánchez-Figueroa, F.; Systä, K.; and Rodríguez, Juan Manuel, M., editor(s),
Proceedings of 18th International Conference on Web Engineering Workshops (ICWE 2018 Workshops), volume 11153, of LNCS, pages 83-96. Springer, 2018.
Paper
doi
link
bibtex
@incollection{2018-leotta-ENWOT,
title = {Towards a Runtime Verification Approach for {Internet of Things} Systems},
author = {Maurizio Leotta and Davide Ancona and Luca Franceschini and Dario Olianas and Marina Ribaudo and Filippo Ricca},
booktitle = {Proceedings of 18th International Conference on Web Engineering Workshops (ICWE 2018 Workshops)},
editor = {Pautasso, Cesare and S{\'a}nchez-Figueroa, Fernando and Syst{\"a}, Kari and Murillo Rodr{\'i}guez, Juan Manuel},
pages = {83-96},
publisher = {Springer},
year = {2018},
volume = {11153},
series = {LNCS},
url = {https://doi.org/10.1007/978-3-030-03056-8_8},
doi = {10.1007/978-3-030-03056-8_8},
isbn = {978-3-030-03055-1},
url = {https://sepl.dibris.unige.it/publications/2018-leotta-EnWoT.pdf},
}
Tiso, A.; Reggio, G.; Leotta, M.; and Ricca, F.
Service-oriented Domain and Business Process Modelling.
In
Proceedings of 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018), pages 138-141, 2018. ACM
Paper
doi
link
bibtex
@inproceedings{2018-tiso-SAC,
title = {Service-oriented Domain and Business Process Modelling},
author = {Alessandro Tiso and Gianna Reggio and Maurizio Leotta and Filippo Ricca},
booktitle = {Proceedings of 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018)},
publisher = {ACM},
year = {2018},
pages = {138-141},
url = {https://doi.org/10.1145/3167132.3167370},
doi = {10.1145/3167132.3167370},
url = {https://sepl.dibris.unige.it/publications/2018-tiso-SAC.pdf},
}
Leotta, M.; Ricca, F.; Clerissi, D.; Ancona, D.; Delzanno, G.; Ribaudo, M.; and Franceschini, L.
Towards an Acceptance Testing Approach for Internet of Things Systems.
In Garrigós, I.; and Wimmer, M., editor(s),
Proceedings of 17th International Conference on Web Engineering Workshops (ICWE 2017 Workshops), volume 10544, of LNCS, pages 125-138. Springer, 2018.
Paper
doi
link
bibtex
@incollection{2017-leotta-ENWOT,
title = {Towards an Acceptance Testing Approach for Internet of Things Systems},
author = {Maurizio Leotta and Filippo Ricca and Diego Clerissi and Davide Ancona and Giorgio Delzanno and Marina Ribaudo and Luca Franceschini},
booktitle = {Proceedings of 17th International Conference on Web Engineering Workshops (ICWE 2017 Workshops)},
editor = {Irene Garrig{\'o}s and Manuel Wimmer},
pages = {125-138},
publisher = {Springer},
year = {2018},
volume = {10544},
series = {LNCS},
url = {https://doi.org/10.1007/978-3-319-74433-9_11},
doi = {10.1007/978-3-319-74433-9_11},
isbn = {978-3-319-74432-2},
url = {https://sepl.dibris.unige.it/publications/2017-leotta-EnWoT.pdf},
}
Ancona, D.; Franceschini, L.; Delzanno, G.; Leotta, M.; Ribaudo, M.; and Ricca, F.
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.
In Pianini, D.; and Salvaneschi, G., editor(s),
Proceedings of 1st Workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017), volume 264, of EPTCS, pages 27-42. ArXiv, 2018.
Paper
doi
link
bibtex
@incollection{2017-ancona-ALP4IoT,
title = {Towards Runtime Monitoring of {Node.js} and Its Application to the {Internet of Things}},
author = {Davide Ancona and Luca Franceschini and Giorgio Delzanno and Maurizio Leotta and Marina Ribaudo and Filippo Ricca},
booktitle = {Proceedings of 1st Workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017)},
editor = {Danilo Pianini and Guido Salvaneschi},
pages = {27-42},
publisher = {arXiv},
year = {2018},
volume = {264},
series = {EPTCS},
url = {https://doi.org/10.4204/EPTCS.264.4},
doi = {10.4204/EPTCS.264.4},
}