Andrea Mattavelli

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