Andrea Mattavelli
Andrea Mattavelli
MF Group AG
Verified email at gmtech.ch - Homepage
TitleCited byYear
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
902013
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
342014
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
232017
Measuring Software Redundancy
A Carzaniga, A Mattavelli, M Pezzè
Proceedings of the 37th International Conference on Software Engineering, 2015
212015
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
212014
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
212014
Chopped Symbolic Execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
ACM, 2018
162018
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
142017
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
62018
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
52012
Synthesis of Equivalent Method Calls in Guava
A Mattavelli, A Goffi, A Gorla
Proceedings of the 7th International Symposium on Search-Based Software …, 2015
42015
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
42012
Software Redundancy: What, Where, How
A Mattavelli
Università della Svizzera italiana, 2016
32016
Intrinsic Redundancy for Reliability and Beyond
A Goffi, A Gorla, A Mattavelli, M Pezzè
PAUSE: Present and Ulterior Software Engineering, 2017
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
2015
Understanding the Redundancy of Software Systems
A Mattavelli
Proceedings of the 36th International Conference on Software Engineering …, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–16