conf.researchr.org / 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
2018
2017
ISSTA
- 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