Ernesto Cid Brasil de Matos

According to our database, Ernesto Cid Brasil de Matos authored at least 5 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

An empirical study of test generation with BETA.

Ernesto Cid Brasil de Matos, Anamaria Martins Moreira, João Batista de Souza Neto

J. Braz. Comput. Soc., 2016

2015

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.

Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Complementing the B-Method with Model-Based Testing.

Ernesto Cid Brasil de Matos

Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), 2015

2012

BETA: A B Based Testing Approach.

Ernesto Cid Brasil de Matos, Anamaria Martins Moreira

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2010

From formal requirements to automated web testing and prototyping.

Ernesto Cid Brasil de Matos, Thiago C. Sousa

Innov. Syst. Softw. Eng., 2010