| BETA: a B based testing approach ECB de Matos, AM Moreira Formal Methods: Foundations and Applications, 51-66, 2012 | 11 | 2012 |
| From formal requirements to automated web testing and prototyping ECB de Matos, TC Sousa Innovations in Systems and Software Engineering 6, 163-169, 2010 | 9 | 2010 |
| 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, ... Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015 | 6 | 2015 |
| BETA: a tool for test case generation based on B specifications ECB de Matos, AM Moreira | 5 | 2013 |
| 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 | 5 | 2010 |
| 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-17, 2016 | 4 | 2016 |
| BETA: a B based testing approach ECB Matos Brasil, 2016 | 3 | 2016 |
| 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 | 1 | 2012 |
| 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 |
| CENTRO DE ENSINO UNIFICADO DE TERESINA–CEUT CURSO DE CIÊNCIA DA COMPUTAC AO ECIDB DE MATOS, UMAFPGAO AUTOMATICA, ... | | |
| BTestBox: an automatic test generator for B method D Deharbe, D Azevedo, ECB de Matos, V Medeiros Jr, RN Natal, ... | | |
