Miguel Viegas

Publication Activity (10 Years)

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

Top Topics

Specification Language

Test Data Generation

Top Venues

Publications

Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano
Exploiting Symbolic Execution to Accelerate Deterministic Databases. ICDCS (2020)