Andrea Mattavelli - ISSTA 2017

Registered user since Fri 16 Dec 2016

Name:Andrea Mattavelli

Country:United Kingdom

Affiliation:Imperial College London

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