Dynamic Analysis of Upgrades in C/C++ Software. - Fabrizio Pastore; Leonardo Mariani; Alberto Goffi; Manuel Oriol; Michael Wahler (ISSRE, 2012)

RADAR: a tool for debugging regression problems in C/C++ software. - Fabrizio Pastore; Leonardo Mariani; Alberto Goffi (ICSE, 2013)

Cross-checking oracles from intrinsic software redundancy. - Antonio Carzaniga; Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè (ICSE, 2014)

Automatic generation of cost-effective test oracles. - Alberto Goffi (ICSE Companion, 2014)

Search-based synthesis of equivalent method sequences. - Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè; Paolo Tonella (SIGSOFT FSE, 2014)

RADAR: Dynamic Analysis of Upgrades in C/C++ Software. - Fabrizio Pastore; Leonardo Mariani; Alberto Goffi; Manuel Oriol; Michael Wahler (Validation of Evolving Software, 2015)

Intrinsic software redundancy for self-healing software systems, automated oracle generation. - Antonio Carzaniga; Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Nicolò Perino; Mauro Pezzè; Paolo Tonella (Software Engineering & Management, 2015)

Synthesis of Equivalent Method Calls in Guava. - Andrea Mattavelli; Alberto Goffi; Alessandra Gorla (SSBSE, 2015)

Automatic generation of oracles for exceptional behaviors. - Alberto Goffi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè (ISSTA, 2016)

Intrinsic Redundancy for Reliability and Beyond. - Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè (Present and Ulterior Software Engineering, 2017)

Translating code comments to procedure specifications. - Arianna Blasi; Alberto Goffi; Konstantin Kuznetsov 001; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè; Sergio Delgado Castellanos (ISSTA, 2018)

MobilePTX: Sparse Coding for Pneumothorax Detection Given Limited Training Examples. - Darryl Hannan; Steven C. Nesbit; Ximing Wen; Glen Smith; Qiao Zhang; Alberto Goffi; Vincent Chan; Michael J. Morris; John C. Hunninghake; Nicholas E. Villalobos; Edward Kim 006; Rosina O. Weber; et al. (AAAI, 2023)

Interpretable Models for Detecting and Monitoring Elevated Intracranial Pressure. - Darryl Hannan; Steven C. Nesbit; Ximing Wen; Glen Smith; Qiao Zhang; Alberto Goffi; Vincent Chan; Michael J. Morris; John C. Hunninghake; Nicholas E. Villalobos; Edward Kim 006; Rosina O. Weber; et al. (ISBI, 2024)

The Impact of an XAI-Augmented Approach on Binary Classification with Scarce Data. - Ximing Wen; Rosina O. Weber; Anik Sen; Darryl Hannan; Steven C. Nesbit; Vincent Chan; Alberto Goffi; Michael J. Morris; John C. Hunninghake; Nicholas E. Villalobos; Edward Kim 006; Christopher J. MacLellan (CoRR, 2024)