Alberto Goffi

According to our database, Alberto Goffi authored at least 13 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, Rosina O. Weber, Christopher J. MacLellan

CoRR, 2024

2023

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, Rosina O. Weber, Christopher J. MacLellan

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2018

Translating code comments to procedure specifications.

Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Intrinsic Redundancy for Reliability and Beyond.

Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Automatic generation of oracles for exceptional behaviors.

Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

Synthesis of Equivalent Method Calls in Guava.

Andrea Mattavelli, Alberto Goffi, Alessandra Gorla

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 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

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

RADAR: Dynamic Analysis of Upgrades in C/C++ Software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler

Proceedings of the Validation of Evolving Software, 2015

2014

Search-based synthesis of equivalent method sequences.

Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Automatic generation of cost-effective test oracles.

Alberto Goffi

Proceedings of the 36th International Conference on Software Engineering, 2014

Cross-checking oracles from intrinsic software redundancy.

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

RADAR: a tool for debugging regression problems in C/C++ software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Dynamic Analysis of Upgrades in C/C++ Software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012