EmBeD, Energy-based anomaly detector in the cloud, is an approach to detect anomalies at runtime based on the free energy of a Restricted Boltzmann Machine (RBM) model. We released the experimental data.


Self-healing tool that implements the automatic workaround technique for JAVA software systems.


Automatic Workarounds for Web applications is our approach to software self-healing for Web applications.


ConCrash is the first automatic technique that reproduces concurrency failures from crash stacks. ConCrash is described in the paper Reproducing Concurrency Failures From Crash Stacks by Francesco A. Bianchi, Mauro Pezzè, and Valerio Terragni (presented at FSE 2017).


Many mature development processes use structural coverage metrics to monitor the quality of testing. Recent studies suggest that control flow testing criteria poorly address state-based behavior of object-oriented software. DaTeC is a tool that provides useful coverage information of Java object states by implementing a novel contextual data-flow testing approach.
For a tool demonstration and more information please contact Alessandra Gorla.


Several reliability techniques exploit redundancy to either detect or tolerate faults in software. The common assumption of these techniques, though, is that such redundancy is known a priori. This means that the set of operations that are supposed to be equivalent in a given component should be available in the specifications. Unfortunately, inferring this information manually can be expensive and error prone.
SBES is search-based tool to automatically synthesize sequences of method invocations that are equivalent to a target method.


Automated generation of test oracles from Javadoc documentation. Toradocu generates test oracles from the Javadoc documentation of a class. Toradocu is described in the paper Automatic Generation of Oracles for Exceptional Behaviors by Alberto Goffi, Alessandra Gorla, Michael D. Ernst, and Mauro Pezzè (presented at ISSTA 2016).


Utopia is a caching framework targeting formulas from the quantifier-free linear integer arithmetic and the non-linear real arithmetic logics. As opposed to other caching frameworks that compare the syntax trees of two formulas to determine whether one implies, is contained in or is equivalent to the other to reuse solutions, Utopia exploits a heuristic called sat-delta to identify potentially reusable solutions for a target formula.