Andrea Mattavelli - ISSTA 2017

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
Show activities from other conferences