2C-FastBC (https://github.com/ASSD-UniSannio/2C-FastBC) is a clustering based algorithm for the approximate calculation of betwennesse centrality in weighted and direct graphs that significantly improves the Brandes algorithm according to the desired level of approximation.

A3-E – Awareness, Acquisition, Allocation, and Engagement (https://github.com/deib-polimi/A3-E-DSM-local-edge) is a unified framework for the lifecycle management of applications that run continuously. A3-E leverages the FaaS paradigm and allows for run-time selection of different components according to different requirements.

Candy Cream (https://sowhat.iit.cnr.it:8443/can-work/candy-cream) is a software system capable of generating an attack that takes advantage of the Android ADB Debug Port Remote Access vulnerability of an Android-based infotainment system to send ad hoc frames to an Instrument Cluster on the CAN bus.

Covrel+  (http://labsedc.isti.cnr.it/covrel/) is an adaptive software testing technique for allocation, selection and generation of tests, based on the combined use of the operational profile and coverage information, with the aim of measuring the reliability of the software.

DevOpRET  (https://github.com/dessertlab/DevOpsTesting.git) is a black-box testing technique for continuous software reliability testing in DevOps environment.

DynaSpark (https://github.com/deib-polimi/dynaSpark) is an extended version of Spark for application runtime control. DynaSpark manages the efficient allocation of resources dynamically to allow the respect of execution time without waste of resources.

EMART  (https://github.com/dessertlab/EMART.git) implements an in vivo testing method for estimating the reliability of a microservice application running in the field. EMART uses adaptive sampling and exploits data obtained through microservice monitoring.

Groucho (https://github.com/IASI-SAKS/groucho) is an open source software that implements the Java Invivo testing methods developed during the project.

Proactive Libraries (https://gitlab.com/learnERC/proactivelibrary) are libraries that have the ability both to automatically detect policy violations and to correct the execution. The software includes tools for the automatic generation of library code.

RT-CI (https://github.com/icse20/RT-CI.git) is a collection of regression testing techniques for the continuous integration environment.

SEEPEP – Symbolic Execution-driven Extraction of Parallel Execution Plans (https://github.com/deib-polimi/dynaSpark/tree/symb) uses symbolic execution techniques and search-based test generation to automatically extract possible Spark application execution paths and manage resource allocation based on the actual path followed.

SemanticEngine (https://github.com/cars-team/semanticengine) is a semantic engine based on REST to support the construction of reactive applications and context-aware.

Varys (https://gitlab.com/learnERC/esec-fse-tool-demo) is a tool for monitoring-as-a-service in the Cloud environment. The operator can formulate a monitoring objective in a declarative way and Varys is able to do the automatic deployment of the probes to collect the indicated metrics, freeing the operator from the technical work.

synchronizer (https://github.com/woland7/synchronizer) is a tool for the synchronization of microservices; it solves the problem of functional dependencies between microservices, which are deployed and executed independently

VATE (https://github.com/invivo-testing/icst2020) is a framework for controlling the execution of invivo tests for Android based on the new configurations to be tested discovered in the field. VATE prevents the same configurations from being tested multiple times and expands the testing objectives when unexpected configurations are discovered.