Andrea was a post-doctoral researcher in the Department of Computing at Imperial College London, where he worked on improving the scalability of symbolic execution techniques. Andrea’s research interests include software testing and analysis, software redundancy, and search-based software engineering.
Andrea obtained his PhD from Università della Svizzera Italiana (USI) Switzerland, under the supervision of Prof. Mauro Pezzè and Prof. Antonio Carzaniga.
Group Publications
-
Chopped Symbolic Execution
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
International Conference on Software Engineering (ICSE 2018)
-
Accelerating Array Constraints in Symbolic Execution
David M. Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
International Symposium on Software Testing and Analysis (ISSTA 2017)