Oliviero Riganelli
TitleCited byYear
Autoblacktest: Automatic black-box testing of interactive applications
L Mariani, M Pezze, O Riganelli, M Santoro
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
662012
AutoBlackTest: a tool for automatic black-box testing
L Mariani, M Pezzč, O Riganelli, M Santoro
2011 33rd International Conference on Software Engineering (ICSE), 1013-1015, 2011
392011
Shared Services Center for E-Government Policy
F Corradini, L Forastieri, A Polzonetti, O Riganelli, A Sergiacomi
arXiv preprint arXiv:1802.07982, 2018
192018
Automatic testing of GUI‐based applications
L Mariani, M Pezzč, O Riganelli, M Santoro
Software Testing, Verification and Reliability 24 (5), 341-366, 2014
192014
Extracting widget descriptions from GUIs
G Becce, L Mariani, O Riganelli, M Santoro
International Conference on Fundamental Approaches to Software Engineering …, 2012
172012
Business rules in e-government applications
F Corradini, A Polzonetti, O Riganelli
arXiv preprint arXiv:1802.08484, 2018
122018
Link: exploiting the web of data to generate test inputs
L Mariani, M Pezzč, O Riganelli, M Santoro
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
122014
SEIM: static extraction of interaction models
L Mariani, M Pezzč, O Riganelli, M Santoro
Proceedings of the 2nd International Workshop on Principles of Engineering …, 2010
11*2010
Policy enforcement with proactive libraries
O Riganelli, D Micucci, L Mariani
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
102017
Cloudhealth: A model-driven approach to watch the health of cloud services
A Shatnawi, M Orrů, M Mobilio, O Riganelli, L Mariani
2018 IEEE/ACM 1st International Workshop on Software Health (SoHeal), 40-47, 2018
92018
Verifying policy enforcers
O Riganelli, D Micucci, L Mariani, Y Falcone
International Conference on Runtime Verification, 241-258, 2017
92017
Localizing faults in cloud systems
L Mariani, C Monni, M Pezzé, O Riganelli, R Xin
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
82018
Healing data loss problems in android apps
O Riganelli, D Micucci, L Mariani
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
72016
Power optimization in fault-tolerant mobile ad hoc networks
O Riganelli, R Grosu, SR Das, CR Ramakrishnan, SA Smolka
2008 11th IEEE High Assurance Systems Engineering Symposium, 362-370, 2008
72008
A rule-driven business process design
F Corradini, G Meschini, A Polzonetti, O Riganelli
2007 29th International Conference on Information Technology Interfaces, 401-406, 2007
52007
Stonycam: A formal framework for modeling, analyzing and regulating cardiac myocytes
E Bartocci, F Corradini, R Grosu, E Merelli, O Riganelli, SA Smolka
Concurrency, Graphs and Models, 493-502, 2008
32008
From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps
O Riganelli, D Micucci, L Mariani
Software: Practice and Experience 49 (3), 540-548, 2019
22019
Model-Based Monitoring for IoTs Smart Cities Applications
M Orrů, M Mobilio, A Shatnawi, O Riganelli, A Tundo, L Mariani
arXiv preprint arXiv:1807.07460, 2018
22018
Static/dynamic test case generation for software upgrades via ARC-B and Deltatest
P Braione, G Denaro, O Riganelli, M Baluda, A Muhammad
Validation of Evolving Software, 147-184, 2015
22015
G-RankTest: Regression testing of controller applications
L Mariani, O Riganelli, M Santoro, M Ali
Proceedings of the 7th International Workshop on Automation of Software Test …, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20