Follow
Andrea Mattavelli
Andrea Mattavelli
Team Lead @ MF Group AG
Verified email at mf-group.ch - Homepage
Title
Cited by
Cited by
Year
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
1262013
Chopped Symbolic Execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
Proceedings of the 40th International Conference on Software Engineering, 2018
1032018
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
652017
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
652014
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
442017
Measuring Software Redundancy
A Carzaniga, A Mattavelli, M Pezzè
Proceedings of the 37th International Conference on Software Engineering, 2015
402015
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
402014
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
302014
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
232018
Software Redundancy: What, Where, How
A Mattavelli
Università della Svizzera italiana, 2016
92016
Synthesis of Equivalent Method Calls in Guava
A Mattavelli, A Goffi, A Gorla
Proceedings of the 7th International Symposium on Search-Based Software …, 2015
82015
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
62012
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
52012
Intrinsic Redundancy for Reliability and Beyond
A Goffi, A Gorla, A Mattavelli, M Pezzè
PAUSE: Present and Ulterior Software Engineering, 2017
22017
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
12015
Understanding the Redundancy of Software Systems
A Mattavelli
Proceedings of the 36th International Conference on Software Engineering …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–16