Alberto Goffi

According to our database1, Alberto Goffi authored at least 14 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Impact of an XAI-Augmented Approach on Binary Classification with Scarce Data.
CoRR, 2024

Interpretable Models for Detecting and Monitoring Elevated Intracranial Pressure.
Proceedings of the IEEE International Symposium on Biomedical Imaging, 2024

2023
MobilePTX: Sparse Coding for Pneumothorax Detection Given Limited Training Examples.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2018
Translating code comments to procedure specifications.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017
Intrinsic Redundancy for Reliability and Beyond.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Automatic generation of oracles for exceptional behaviors.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015
Synthesis of Equivalent Method Calls in Guava.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Intrinsic software redundancy for self-healing software systems, automated oracle generation.
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.
Proceedings of the Validation of Evolving Software, 2015

2014
Search-based synthesis of equivalent method sequences.
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.
Proceedings of the 36th International Conference on Software Engineering, 2014

Cross-checking oracles from intrinsic software redundancy.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
RADAR: a tool for debugging regression problems in C/C++ software.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012


  Loading...