Andrea Mattavelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
3
Active years
2012–2018
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | SUSHI: a test generator for programs with complex structured inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2018 | ICSE | Chopped symbolic execution. | David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar |
| 2017 | ISSTA | Combining symbolic execution and search-based testing for programs with complex heap inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2017 | ISSTA | Accelerating array constraints in symbolic execution. | David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar |
| 2015 | ICSE | Measuring Software Redundancy. | Antonio Carzaniga, Andrea Mattavelli, Mauro Pezz |
| 2015 | SSBSE | Synthesis of Equivalent Method Calls in Guava. | Andrea Mattavelli, Alberto Goffi, Alessandra Gorla |
| 2014 | ICSE | Cross-checking oracles from intrinsic software redundancy. | Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezz |
| 2014 | ICSE | Understanding the redundancy of software systems. | Andrea Mattavelli |
| 2013 | ICSE | Automatic recovery from runtime failures. | Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicol Perino, Mauro Pezz |
| 2012 | ICSE | An industrial case study of the effectiveness of test generators. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad |
| 2012 | ICSE | A self-healing technique for Java applications. | Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicol Perino |