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	Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Accelerating Array Constraints in Symbolic Execution Committee Member in Artifact Evaluation Committee within the Artifacts-track
Show activities from other conferences