Oliviero Riganelli
Title
Cited by
Cited by
Year
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
832012
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
472011
Automatic testing of GUI‐based applications
L Mariani, M Pezzč, O Riganelli, M Santoro
Software Testing, Verification and Reliability 24 (5), 341-366, 2014
252014
Shared Services Center for E-Government Policy
F Corradini, L Forastieri, A Polzonetti, O Riganelli, A Sergiacomi
arXiv preprint arXiv:1802.07982, 2018
232018
Extracting widget descriptions from GUIs
G Becce, L Mariani, O Riganelli, M Santoro
International Conference on Fundamental Approaches to Software Engineering …, 2012
222012
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
212018
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
192014
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
152018
Business rules in e-government applications
F Corradini, A Polzonetti, O Riganelli
arXiv preprint arXiv:1802.08484, 2018
152018
Policy enforcement with proactive libraries
O Riganelli, D Micucci, L Mariani
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
142017
Verifying policy enforcers
O Riganelli, D Micucci, L Mariani, Y Falcone
International Conference on Runtime Verification, 241-258, 2017
112017
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
Healing data loss problems in android apps
O Riganelli, D Micucci, L Mariani
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
102016
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
82008
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
72019
The next generation platform as a service cloudifying service deployments in telco-operators infrastructure
A Mimidis, E Ollora, J Soler, S Bessem, L Roullet, S Van Rossem, ...
2018 25th International Conference on Telecommunications (ICT), 399-404, 2018
72018
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
62007
The Next Generation Platform as A Service: Composition and Deployment of Platforms and Services
A Mimidis-Kentis, J Soler, P Veitch, A Broadbent, M Mobilio, O Riganelli, ...
Future Internet 11 (5), 119, 2019
52019
Increasing the reusability of enforcers with lifecycle events
O Riganelli, D Micucci, L Mariani
International Symposium on Leveraging Applications of Formal Methods, 51-57, 2018
42018
Controlling interactions with libraries in Android apps through runtime enforcement
O Riganelli, D Micucci, L Mariani
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 14 (2), 1-29, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20