Andrea Mattavelli

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Symbolic Execution

Software Systems

Simulated Annealing Algorithm

Top Venues

ICSE (Companion Volume)

Publications