Ernesto Cid Brasil de Matos

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 3

Top Topics

Code Generation

Software Testing

Beta Distribution

Symbolic Execution

Top Venues

J. Braz. Comput. Soc.

STAF Doctoral Symposium

Publications

Ernesto Cid Brasil de Matos, Anamaria Martins Moreira, João Batista de Souza Neto
An empirical study of test generation with BETA. J. Braz. Comput. Soc. 22 (1) (2016)
Ernesto Cid Brasil de Matos
Complementing the B-Method with Model-Based Testing. STAF Doctoral Symposium (2015)
Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. TAP@STAF (2015)
Ernesto Cid Brasil de Matos, Anamaria Martins Moreira
BETA: A B Based Testing Approach. SBMF (2012)
Ernesto Cid Brasil de Matos, Thiago C. Sousa
From formal requirements to automated web testing and prototyping. Innov. Syst. Softw. Eng. 6 (1-2) (2010)