Andrea Mattavelli -

Registered user since Fri 16 Dec 2016

Name: Andrea Mattavelli

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://www.doc.ic.ac.uk/~amattave/

Research interests: Software Engineering, Testing and Analysis

Contributions

ISSTA 2017	Author of Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs within the Technical Papers-track Author of Accelerating Array Constraints in Symbolic Execution within the Technical Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
* ICSE 2018 *	Author of Chopped Symbolic Execution within the Technical Papers -track Author of SUSHI: A Test Generator for Programs with Complex Structured Inputs within the DEMO - Demonstrations -track