| Automatic recovery from runtime failures A Carzaniga, A Gorla, A Mattavelli, N Perino, M Pezzè Proceedings of the 35th International Conference on Software Engineering …, 2013 | 113 | 2013 |
| Chopped Symbolic Execution D Trabish, A Mattavelli, N Rinetzky, C Cadar ACM, 2018 | 65 | 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 | 51 | 2014 |
| Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs P Braione, G Denaro, A Mattavelli, M Pezzè Proceedings of the 26th International Symposium on Software Testing and Analysis, 2017 | 43 | 2017 |
| Search-Based Synthesis of Equivalent Method Sequences A Goffi, A Gorla, A Mattavelli, M Pezzè, P Tonella Proceedings of the 22nd International Symposium on the Foundations of …, 2014 | 35 | 2014 |
| Accelerating Array Constraints in Symbolic Execution DM Perry, A Mattavelli, X Zhang, C Cadar Proceedings of the 26th International Symposium on Software Testing and Analysis, 2017 | 33 | 2017 |
| Measuring Software Redundancy A Carzaniga, A Mattavelli, M Pezzè Proceedings of the 37th International Conference on Software Engineering, 2015 | 33 | 2015 |
| Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component P Braione, G Denaro, A Mattavelli, M Vivanti, A Muhammad software quality Journal 22 (2), 311-333, 2014 | 29 | 2014 |
| SUSHI: a test generator for programs with complex structured inputs P Braione, G Denaro, A Mattavelli, M Pezzè 2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018 | 17 | 2018 |
| Software Redundancy: What, Where, How A Mattavelli Università della Svizzera italiana, 2016 | 7 | 2016 |
| Synthesis of Equivalent Method Calls in Guava A Mattavelli, A Goffi, A Gorla Proceedings of the 7th International Symposium on Search-Based Software …, 2015 | 7 | 2015 |
| An industrial case study of the effectiveness of test generators P Braione, G Denaro, A Mattavelli, M Vivanti, A Muhammad Proceedings of the 7th International Workshop on Automation of Software Test …, 2012 | 5 | 2012 |
| A self-healing technique for Java applications A Carzaniga, A Gorla, A Mattavelli, N Perino Proceedings of the 34th International Conference on Software Engineering …, 2012 | 5 | 2012 |
| Intrinsic software redundancy for self-healing software systems and automated oracle generation A Carzaniga, A Goffi, A Gorla, A Mattavelli, N Perino, M Pezze, P Tonella | 1 | 2015 |
| Intrinsic Redundancy for Reliability and Beyond A Goffi, A Gorla, A Mattavelli, M Pezzè PAUSE: Present and Ulterior Software Engineering, 2017 | | 2017 |
| Understanding the Redundancy of Software Systems A Mattavelli Proceedings of the 36th International Conference on Software Engineering …, 2014 | | 2014 |
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Verified email at usi.ch
