Follow
Alberto Goffi
Alberto Goffi
Product Manager @ mfgroup.ch
Verified email at arvato.com - Homepage
Title
Cited by
Cited by
Year
Automatic Generation of Oracles for Exceptional Behaviors
A Goffi, A Gorla, MD Ernst, M Pezzè
International Symposium on Software Testing and Analysis (ISSTA), 2016
1172016
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
1032018
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
642014
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
402014
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
242012
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
192013
Automatic generation of cost-effective test oracles
A Goffi
Companion Proceedings of the 36th International Conference on Software …, 2014
162014
Synthesis of equivalent method calls in Guava
A Mattavelli, A Goffi, A Gorla
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015
82015
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
42017
Automating test oracles generation
A Goffi
Università della Svizzera italiana, 2018
22018
Intrinsic Redundancy for Reliability and Beyond
A Goffi, A Gorla, A Mattavelli, M Pezze
PAUSE: Present and Ulterior Software Engineering, 2017
22017
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
12015
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
12015
The system can't perform the operation now. Try again later.
Articles 1–13