Alberto Goffi
Alberto Goffi
Ph.D. Student, USI Università della Svizzera italiana
Verified email at usi.ch - Homepage
TitleCited byYear
Cross-checking oracles from intrinsic software redundancy
A Carzaniga, A Goffi, A Gorla, A Mattavelli, M Pezzè
Proceedings of the 36th International Conference on Software Engineering …, 2014
342014
Automatic Generation of Oracles for Exceptional Behaviors
A Goffi, A Gorla, MD Ernst, M Pezzè
International Symposium on Software Testing and Analysis (ISSTA), 2016
232016
Search-Based Synthesis of Equivalent Method Sequences
A Goffi, A Gorla, A Mattavelli, M Pezzè, P Tonella
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
212014
Dynamic analysis of upgrades in C/C++ software
F Pastore, L Mariani, A Goffi, M Oriol, M Wahler
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
152012
RADAR: a tool for debugging regression problems in C/C++ software
F Pastore, L Mariani, A Goffi
2013 35th International Conference on Software Engineering (ICSE), 1335-1338, 2013
122013
Translating code comments to procedure specifications
A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst, M Pezzè, ...
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
72018
Automatic generation of cost-effective test oracles
A Goffi
Companion Proceedings of the 36th International Conference on Software …, 2014
52014
Synthesis of Equivalent Method Calls in Guava
A Mattavelli, A Goffi, A Gorla
International Symposium on Search Based Software Engineering, 248-254, 2015
42015
Semantic-based Analysis of Javadoc Comments
A Blasi, K Kuznetsov, A Goffi, SD Castellanos, A Gorla, MD Ernst, ...
Seminar Series on Advanced Techniques & Tools for Software Evolution, 2017
1*2017
Automating test oracles generation
A Goffi
Università della Svizzera italiana, 2018
2018
Intrinsic Redundancy for Reliability and Beyond
A Goffi, A Gorla, A Mattavelli, M Pezze
PAUSE: Present and Ulterior Software Engineering, 2017
2017
RADAR: Dynamic Analysis of Upgrades in C/C++ Software
F Pastore, L Mariani, A Goffi, M Oriol, M Wahler
Validation of Evolving Software, 85-105, 2015
2015
Intrinsic software redundancy for self-healing software systems, automated oracle generation
A Carzaniga, A Goffi, A Gorla, A Mattavelli, N Perino, M Pezze, P Tonella
Software-engineering and management 2015, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–13