Andrea Mattavelli

Chopped symbolic execution

David Trabish, Andrea Mattavelli, Noam Rinetzky et al. · 2018 · 84 citations

Computing, Computer Science, Software Engineering +6

Automatic recovery from runtime failures

Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli et al. · International Conference on Software Engineering · 2013 · 76 citations

Computing, Computer Engineering, Computer Science +11

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

Pietro Braione, Giovanni Denaro, Andrea Mattavelli et al. · 2017 · 61 citations

Computing, Computer Science, Algorithms +13

Automatic recovery from runtime failures

Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli et al. · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 53 citations

Computing, Computer Engineering, Computer Science +11

Cross-checking oracles from intrinsic software redundancy

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla et al. · 2014 · 47 citations

Computing, Computer Engineering, Computer Science +13