Oliviero Riganelli

J. Syst. Softw., April, 2024

Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects.

[BibT_eX]

[DOI]

Qurban Ali

CoRR, 2024

ReProbes: An Architecture for Reconfigurable and Adaptive Probes.

[BibT_eX]

[DOI]

CoRR, 2024

Testing in the Evolving World of DL Systems: Insights from Python GitHub Projects.

[BibT_eX]

[DOI]

Qurban Ali

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024

Assessing AI-Based Code Assistants in Method Generation Tasks.

[BibT_eX]

[DOI]

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

ReProbe: An Architecture for Reconfigurable and Adaptive Probes.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Architecture, 2024

2023

Automated Probe Life-Cycle Management for Monitoring-As-a-Service.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2023

2022

Non-functional Testing of Runtime Enforcers in Android.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Proactive Libraries: Enforcing Correct Behaviors in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment.

[BibT_eX]

[DOI]

CoRR, 2021

Exception-Driven Fault Localization for Automated Program Repair.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020

Predicting failures in multi-tier distributed systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Test4Enforcers: Test Case Generation for Software Enforcers.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Data loss detector: automatically revealing data loss bugs in Android apps.

[BibT_eX]

[DOI]

Simone Paolo Mottadelli

Claudio Rota

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Declarative Dashboard Generation.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2019

From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2019

The Next Generation Platform as A Service: Composition and Deployment of Platforms and Services.

[BibT_eX]

[DOI]

Angelos Mimidis Kentis

Future Internet, 2019

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

GUI testing in production: challenges and opportunities.

[BibT_eX]

[DOI]

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

A benchmark of data loss bugs for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Anomaly Detection As-a-Service.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018

Model-Based Monitoring for IoTs Smart Cities Applications.

[BibT_eX]

[DOI]

CoRR, 2018

Business Rules in e-Government Applications.

[BibT_eX]

[DOI]

Flavio Corradini

CoRR, 2018

Shared Services Center for E-Government Policy.

[BibT_eX]

[DOI]

CoRR, 2018

Increasing the Reusability of Enforcers with Lifecycle Events.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Telecommunications, 2018

Localizing Faults in Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Cloudhealth: a model-driven approach to watch the health of cloud services.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Software Health, 2018

Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS).

[BibT_eX]

[DOI]

Proceedings of the IEEE 5G World Forum, 2018

2017

Verifying Policy Enforcers.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Policy Enforcement with Proactive Libraries.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016

Healing Data Loss Problems in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.

[BibT_eX]

[DOI]

Proceedings of the Validation of Evolving Software, 2015

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.

[BibT_eX]

[DOI]

Proceedings of the Validation of Evolving Software, 2015

2014

Automatic testing of GUI-based applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Link: exploiting the web of data to generate test inputs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2012

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

G-RankTest: Regression testing of controller applications.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Extracting Widget Descriptions from GUIs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

AutoBlackTest: a tool for automatic black-box testing.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

SEIM: static extraction of interaction models.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

2009

A Model Predictive Approach to Fault-Tolerant WASNs.

[BibT_eX]

[DOI]

Michele Papalini

Proceedings of the Fifth International Conference on Networking and Services, 2009

Holistic development of online public services.

[BibT_eX]

[DOI]

Flavio Corradini

Proceedings of the ICEGOV 2009, 2009

Online Public Service Delivery.

[BibT_eX]

Flavio Corradini

Proceedings of the 2009 International Conference on E-Learning, 2009

2008

Power Optimization in Fault-Tolerant MANETs.

[BibT_eX]