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

ISSTA 2017 Activities

• Author of Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs within the Technical Papers-track in ISSTA 2017
• Author of Accelerating Array Constraints in Symbolic Execution within the Technical Papers-track in ISSTA 2017
• Committee Member in Artifact Evaluation Committee for ISSTA 2017 Artifacts
• Show activities from other conferences