Urmăriți
Alberto Goffi
Alberto Goffi
Product Manager @ https://finance.arvato.com
Adresă de e-mail confirmată pe arvato.com - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Automatic Generation of Oracles for Exceptional Behaviors
A Goffi, A Gorla, MD Ernst, M Pezzè
International Symposium on Software Testing and Analysis (ISSTA), 2016
962016
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
712018
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
602014
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
212012
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
182013
Automatic generation of cost-effective test oracles
A Goffi
Companion Proceedings of the 36th International Conference on Software …, 2014
152014
Synthesis of Equivalent Method Calls in Guava
A Mattavelli, A Goffi, A Gorla
International Symposium on Search Based Software Engineering, 248-254, 2015
72015
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
32017
Automating test oracles generation
A Goffi
Università della Svizzera italiana, 2018
22018
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
Intrinsic Redundancy for Reliability and Beyond
A Goffi, A Gorla, A Mattavelli, M Pezze
PAUSE: Present and Ulterior Software Engineering, 2017
2017
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–13