| 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 | 131 | 2013 |
| Chopped Symbolic Execution D Trabish, A Mattavelli, N Rinetzky, C Cadar Proceedings of the 40th International Conference on Software Engineering, 2018 | 116 | 2018 |
| 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 | 72 | 2017 |
| 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 | 65 | 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 | 48 | 2017 |
| Measuring Software Redundancy A Carzaniga, A Mattavelli, M Pezzè Proceedings of the 37th International Conference on Software Engineering, 2015 | 42 | 2015 |
| 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 | 41 | 2014 |
| 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 | 32 | 2014 |
| SUSHI: a test generator for programs with complex structured inputs P Braione, G Denaro, A Mattavelli, M Pezzè Proceedings of the 40th International Conference on Software Engineering …, 2018 | 25 | 2018 |
| Software Redundancy: What, Where, How A Mattavelli Università della Svizzera italiana, 2016 | 10 | 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 | 8 | 2015 |
| 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 | 6 | 2012 |
| 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 |
| Intrinsic Redundancy for Reliability and Beyond A Goffi, A Gorla, A Mattavelli, M Pezzè PAUSE: Present and Ulterior Software Engineering, 2017 | 3 | 2017 |
| 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 |
| Understanding the Redundancy of Software Systems A Mattavelli Proceedings of the 36th International Conference on Software Engineering …, 2014 | 1 | 2014 |
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Verified email at usi.ch
