Ernesto C. B. de Matos
Title
Cited by
Cited by
Year
BETA: a B based testing approach
ECB de Matos, AM Moreira
Formal Methods: Foundations and Applications, 51-66, 2012
112012
From formal requirements to automated web testing and prototyping
ECB de Matos, TC Sousa
Innovations in Systems and Software Engineering 6 (1), 163-169, 2010
72010
Verifying code generation tools for the B-method using tests: a case study
AM Moreira, C Hentz, D Déharbe, ECB de Matos, JBS Neto, ...
International Conference on Tests and Proofs, 76-91, 2015
62015
BETA: a tool for test case generation based on B specifications
ECB de Matos, AM Moreira
52013
Generating Test Cases From B Specifications: An Industrial Case Study
ECB de Matos, AM Moreira, FM Souza, RS Coelho
Proceedings of the 22nd IFIP International Conference on Testing Software …, 2010
52010
BETA: a B based testing approach
ECB Matos
Brasil, 2016
32016
An empirical study of test generation with BETA
ECB de Matos, AM Moreira, JB de Souza Neto
Journal of the Brazilian Computer Society 22 (1), 1-17, 2016
22016
BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B
ECB Matos
Universidade Federal do Rio Grande do Norte, 2012
12012
An empirical study of test generation with BETA
AM Moreira, ECB de Matos, JBS Neto
SAST 2015, 61, 2015
2015
Complementing the B-Method with Model-Based Testing.
ECB de Matos
STAF Doctoral Symposium, 32-41, 2015
2015
Generating Test Cases From B Specifications: An Industrial Case Study
A Moreira, E Matos, F Souza, R Coelho
on Testing Software and Systems: Short Papers, 55, 2010
2010
BTestBox: an automatic test generator for B method
D Deharbe, D Azevedo, ECB de Matos, V Medeiros Jr, RN Natal, ...
The system can't perform the operation now. Try again later.
Articles 1–12