Eder C. M. Gomes

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Search Based Software Testing

Formal Semantics

Computing Environments

Top Venues

Publications

Eder C. M. Gomes, Joaquim Filipe L. de Sousa, Paulo Roberto Pessoa Amora, Javam C. Machado
FLEXMVCC: uma Abordagem Flexível para Protocolos de Controle de Concorrência Multi-versão. SBBD (2018)
Eder C. M. Gomes, Paulo Roberto Pessoa Amora, Elvis Marques Teixeira, Antonio G. S. Lima, Felipe T. Brito, Juliano F. C. Ciocari, Javam C. Machado
UTTOS: A Tool for Testing UEFI Code in OS Environment. ICTSS (2016)