Andrea Mattavelli

According to our database, Andrea Mattavelli authored at least 15 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Chopped symbolic execution.

David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th International Conference on Software Engineering, 2018

SUSHI: a test generator for programs with complex structured inputs.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Accelerating array constraints in symbolic execution.

David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Combining symbolic execution and search-based testing for programs with complex heap inputs.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Intrinsic Redundancy for Reliability and Beyond.

Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

Proceedings of the Present and Ulterior Software Engineering., 2017

2015

Synthesis of Equivalent Method Calls in Guava.

Andrea Mattavelli, Alberto Goffi, Alessandra Gorla

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Intrinsic software redundancy for self-healing software systems, automated oracle generation.

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Measuring Software Redundancy.

Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad

Softw. Qual. J., 2014

Search-based synthesis of equivalent method sequences.

Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Understanding the redundancy of software systems.

Andrea Mattavelli

Proceedings of the 36th International Conference on Software Engineering, 2014

Cross-checking oracles from intrinsic software redundancy.

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Automatic recovery from runtime failures.

Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A self-healing technique for Java applications.

Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino

Proceedings of the 34th International Conference on Software Engineering, 2012

An industrial case study of the effectiveness of test generators.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad

Proceedings of the 7th International Workshop on Automation of Software Test, 2012