| Automatic Generation of Oracles for Exceptional Behaviors A Goffi, A Gorla, MD Ernst, M Pezzè International Symposium on Software Testing and Analysis (ISSTA), 2016 | 146 | 2016 |
| 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 | 131 | 2018 |
| 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 | 67 | 2014 |
| 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 | 42 | 2014 |
| 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 | 27 | 2012 |
| 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 | 22 | 2013 |
| Automatic generation of cost-effective test oracles A Goffi Companion Proceedings of the 36th International Conference on Software …, 2014 | 15 | 2014 |
| Synthesis of equivalent method calls in Guava A Mattavelli, A Goffi, A Gorla Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015 | 8 | 2015 |
| 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 | 4 | 2017 |
| Automating test oracles generation A Goffi Università della Svizzera italiana, 2018 | 3 | 2018 |
| Intrinsic Redundancy for Reliability and Beyond A Goffi, A Gorla, A Mattavelli, M Pezze PAUSE: Present and Ulterior Software Engineering, 2017 | 3 | 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 | 1 | 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 | 1 | 2015 |
Alessandra GorlaAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org