Giovanni Denaro | University of Milano Bicocca (original) (raw)

Uploads

Papers by Giovanni Denaro

Research paper thumbnail of Prevent: An Unsupervised Approach to Predict Software Failures in Production

Zenodo (CERN European Organization for Nuclear Research), Jun 13, 2023

Research paper thumbnail of On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned

arXiv (Cornell University), Feb 28, 2021

Research paper thumbnail of PREVENT: An Unsupervised Approach to Predict Software Failures in Production

arXiv (Cornell University), Aug 25, 2022

Research paper thumbnail of Measuring Software Testability via Automatically Generated Test Cases

arXiv (Cornell University), Jul 30, 2023

Research paper thumbnail of GUI Testing to the Power of Parallel Q-Learning

Research paper thumbnail of ERMT応用の試験可能性のための設計【JST・京大機械翻訳】

IEEE Conference Proceedings, 2019

Research paper thumbnail of Big-Data Applications as Self-Adaptive Systems of Systems

Virtualization technologies have enabled a new way of thinking of computing resources and cloud c... more Virtualization technologies have enabled a new way of thinking of computing resources and cloud computing frameworks offer many pay-per-use solutions for renting these resources. Conventional physical servers had to be acquired, provisioned, and configured beforehand; virtual resources can be allocated on demand, and changes can be managed quickly. Deploying systems on virtualized resources allows one to allocate resources given the actual workload and KPIs of interest, but it requires that resource management be part of the system itself. Traditional application components must be augmented with probes and actuators to sense the application behavior and provision resources accordingly. Big data applications are a prominent example of these modern systems, and the paper discusses dynaSpark, that is, the work done by the authors to extend Spark standalone —a well-known framework widely used for parallel processing and big data applications— and augment it with resource management capabilities. It also introduces the key problems the integration and the particular batch applications bring in, and identifies additional aspects that are still to be taken into account and that would lead to a better solution.

Research paper thumbnail of On introducing automatic test case generation in practice: A success story and lessons learned

Journal of Systems and Software, Jun 1, 2021

Research paper thumbnail of Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution

arXiv (Cornell University), Sep 22, 2022

Research paper thumbnail of Proceedings of the 4th international workshop on software quality assurance

Research paper thumbnail of Automated Test Case Generation for Safety-Critical Software in Scade

2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

Research paper thumbnail of Automatically generating test cases for safety-critical software via symbolic execution

Journal of Systems and Software

Research paper thumbnail of Bidirectional Symbolic Analysis for Effective Branch Testing

IEEE Transactions on Software Engineering, 2016

Research paper thumbnail of Prevent: An Unsupervised Approach to Predict Software Failures in Production

IEEE Transactions on Software Engineering

Research paper thumbnail of PREVENT: A Semi-Supervised Approach to Predict Software Failures in Production new

CERN European Organization for Nuclear Research - Zenodo, Feb 17, 2022

Research paper thumbnail of Design for Testability of ERMTS Applications

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

The European Rail Traffic Management System (ERTMS) represents a class of embedded software-inten... more The European Rail Traffic Management System (ERTMS) represents a class of embedded software-intensive systems of systems for the management of the European rail traffic, in a scenario where interoperability between different European rail traffic infrastructures must be maintained. Due to the intrinsically safety-critical nature of ERTMS, software testing must meet the strict prescriptions imposed by the certification authorities, which often require the availability of the entire system. This potentially leads to perform the tests at a late stage of development, even though the best practices suggest that it would be more convenient to test the system incrementally since the early stages of development. This paper deals with the solution we devised to address this issue in a recent ERTMS project. We adopted a design-for-testability pattern which purposely enhances the observability and the controllability of the software under test to make it testable at any stage of development, allowing the exploitation of system tests even during component and integration testing.

Research paper thumbnail of PREVENT: A Semi-Supervised Approach to Predict Software Failures in Production

This repository provides the replication package of our paper "PREVENT: A Semi-Supervised Ap... more This repository provides the replication package of our paper "PREVENT: A Semi-Supervised Approach to Predict Software Failures in Production". It includes the codes, results, inputs and train datasets.

Research paper thumbnail of Exploiting the Blockchain to Guarantee GDPR Compliance while Consents Evolve under Data Owners' Control

Research paper thumbnail of found at the ENTCS Macro Home Page. Verifying LTL Properties of Bytecode with Symbolic Execution 1

Research paper thumbnail of Symbolic execution-driven extraction of the parallel execution plans of Spark applications

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

Research paper thumbnail of Prevent: An Unsupervised Approach to Predict Software Failures in Production

Zenodo (CERN European Organization for Nuclear Research), Jun 13, 2023

Research paper thumbnail of On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned

arXiv (Cornell University), Feb 28, 2021

Research paper thumbnail of PREVENT: An Unsupervised Approach to Predict Software Failures in Production

arXiv (Cornell University), Aug 25, 2022

Research paper thumbnail of Measuring Software Testability via Automatically Generated Test Cases

arXiv (Cornell University), Jul 30, 2023

Research paper thumbnail of GUI Testing to the Power of Parallel Q-Learning

Research paper thumbnail of ERMT応用の試験可能性のための設計【JST・京大機械翻訳】

IEEE Conference Proceedings, 2019

Research paper thumbnail of Big-Data Applications as Self-Adaptive Systems of Systems

Virtualization technologies have enabled a new way of thinking of computing resources and cloud c... more Virtualization technologies have enabled a new way of thinking of computing resources and cloud computing frameworks offer many pay-per-use solutions for renting these resources. Conventional physical servers had to be acquired, provisioned, and configured beforehand; virtual resources can be allocated on demand, and changes can be managed quickly. Deploying systems on virtualized resources allows one to allocate resources given the actual workload and KPIs of interest, but it requires that resource management be part of the system itself. Traditional application components must be augmented with probes and actuators to sense the application behavior and provision resources accordingly. Big data applications are a prominent example of these modern systems, and the paper discusses dynaSpark, that is, the work done by the authors to extend Spark standalone —a well-known framework widely used for parallel processing and big data applications— and augment it with resource management capabilities. It also introduces the key problems the integration and the particular batch applications bring in, and identifies additional aspects that are still to be taken into account and that would lead to a better solution.

Research paper thumbnail of On introducing automatic test case generation in practice: A success story and lessons learned

Journal of Systems and Software, Jun 1, 2021

Research paper thumbnail of Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution

arXiv (Cornell University), Sep 22, 2022

Research paper thumbnail of Proceedings of the 4th international workshop on software quality assurance

Research paper thumbnail of Automated Test Case Generation for Safety-Critical Software in Scade

2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

Research paper thumbnail of Automatically generating test cases for safety-critical software via symbolic execution

Journal of Systems and Software

Research paper thumbnail of Bidirectional Symbolic Analysis for Effective Branch Testing

IEEE Transactions on Software Engineering, 2016

Research paper thumbnail of Prevent: An Unsupervised Approach to Predict Software Failures in Production

IEEE Transactions on Software Engineering

Research paper thumbnail of PREVENT: A Semi-Supervised Approach to Predict Software Failures in Production new

CERN European Organization for Nuclear Research - Zenodo, Feb 17, 2022

Research paper thumbnail of Design for Testability of ERMTS Applications

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

The European Rail Traffic Management System (ERTMS) represents a class of embedded software-inten... more The European Rail Traffic Management System (ERTMS) represents a class of embedded software-intensive systems of systems for the management of the European rail traffic, in a scenario where interoperability between different European rail traffic infrastructures must be maintained. Due to the intrinsically safety-critical nature of ERTMS, software testing must meet the strict prescriptions imposed by the certification authorities, which often require the availability of the entire system. This potentially leads to perform the tests at a late stage of development, even though the best practices suggest that it would be more convenient to test the system incrementally since the early stages of development. This paper deals with the solution we devised to address this issue in a recent ERTMS project. We adopted a design-for-testability pattern which purposely enhances the observability and the controllability of the software under test to make it testable at any stage of development, allowing the exploitation of system tests even during component and integration testing.

Research paper thumbnail of PREVENT: A Semi-Supervised Approach to Predict Software Failures in Production

This repository provides the replication package of our paper "PREVENT: A Semi-Supervised Ap... more This repository provides the replication package of our paper "PREVENT: A Semi-Supervised Approach to Predict Software Failures in Production". It includes the codes, results, inputs and train datasets.

Research paper thumbnail of Exploiting the Blockchain to Guarantee GDPR Compliance while Consents Evolve under Data Owners' Control

Research paper thumbnail of found at the ENTCS Macro Home Page. Verifying LTL Properties of Bytecode with Symbolic Execution 1

Research paper thumbnail of Symbolic execution-driven extraction of the parallel execution plans of Spark applications

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

Log In