Aizar Antonio Berlanga Galvan

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Symbolic Execution

Design Automation

Mutation Testing

Heterogeneous Platforms

Top Venues

Publications

Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert
Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. AST@ICSE (2022)