An industrial case study of the effectiveness of test generators. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mattia Vivanti; Ali Muhammad (AST, 2012)

A self-healing technique for Java applications. - Antonio Carzaniga; Alessandra Gorla; Andrea Mattavelli; Nicolò Perino (ICSE, 2012)

Automatic recovery from runtime failures. - Antonio Carzaniga; Alessandra Gorla; Andrea Mattavelli; Nicolò Perino; Mauro Pezzè (ICSE, 2013)

Cross-checking oracles from intrinsic software redundancy. - Antonio Carzaniga; Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè (ICSE, 2014)

Understanding the redundancy of software systems. - Andrea Mattavelli (ICSE Companion, 2014)

Search-based synthesis of equivalent method sequences. - Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè; Paolo Tonella (SIGSOFT FSE, 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)

Measuring Software Redundancy. - Antonio Carzaniga; Andrea Mattavelli; Mauro Pezzè (ICSE (1), 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 (Software Engineering & Management, 2015)

Synthesis of Equivalent Method Calls in Guava. - Andrea Mattavelli; Alberto Goffi; Alessandra Gorla (SSBSE, 2015)

Intrinsic Redundancy for Reliability and Beyond. - Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè (Present and Ulterior Software Engineering, 2017)

Combining symbolic execution and search-based testing for programs with complex heap inputs. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mauro Pezzè (ISSTA, 2017)

Accelerating array constraints in symbolic execution. - David Mitchel Perry; Andrea Mattavelli; Xiangyu Zhang 001; Cristian Cadar (ISSTA, 2017)

SUSHI: a test generator for programs with complex structured inputs. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mauro Pezzè (ICSE (Companion Volume), 2018)

Chopped symbolic execution. - David Trabish; Andrea Mattavelli; Noam Rinetzky; Cristian Cadar (ICSE, 2018)