Andrea Mattavelli

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 7

Top Topics

Symbolic Execution

Software Systems

Simulated Annealing Algorithm

Top Venues

ICSE (Companion Volume)

Publications

David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
Chopped symbolic execution. ICSE (2018)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
SUSHI: a test generator for programs with complex structured inputs. ICSE (Companion Volume) (2018)
David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
Accelerating array constraints in symbolic execution. ISSTA (2017)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
Combining symbolic execution and search-based testing for programs with complex heap inputs. ISSTA (2017)
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella
Intrinsic software redundancy for self-healing software systems, automated oracle generation. Software Engineering & Management (2015)
Andrea Mattavelli, Alberto Goffi, Alessandra Gorla
Synthesis of Equivalent Method Calls in Guava. SSBSE (2015)
Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè
Measuring Software Redundancy. ICSE (1) (2015)
Andrea Mattavelli
Understanding the redundancy of software systems. ICSE Companion (2014)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component. Softw. Qual. J. 22 (2) (2014)
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè
Cross-checking oracles from intrinsic software redundancy. ICSE (2014)
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella
Search-based synthesis of equivalent method sequences. SIGSOFT FSE (2014)
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè
Automatic recovery from runtime failures. ICSE (2013)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
An industrial case study of the effectiveness of test generators. AST (2012)
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino
A self-healing technique for Java applications. ICSE (2012)