conf.researchr.org / Andrea Mattavelli
![Andrea Mattavelli](https://conf.researchr.org/getProfileImage/andreamattavelli/291ee6bc-dd52-4c8d-b3a2-617485701083/small.jpg?1711697223000)
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