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.
Chopped Symbolic Execution
International Conference on Software Engineering (ICSE 2018)
Accelerating Array Constraints in Symbolic Execution
International Symposium on Software Testing and Analysis (ISSTA 2017)