Publications
  • HENTZ, C. ; Moreira, A. M. Automatic generation of tests from language descriptions (Paper in Portuguese). In: Brazilian Workshop on Systematic and Automated Software Testing, 2009, Gramado, Brazil. pdf
  • HENTZ, C. Automatic Generation of Tests from Language Descriptions (Text in Portuguese). Master’s Dissertation, 2010, UFRN, Natal, Brazil. pdf
  • Moreira, A. M. ; HENTZ, C. ; RAMALHO, V. M. Application of a Syntax-based Testing Method and Tool to Software Product Lines. In: 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasília, Brazil. pdf
  • Moreira, A. M. ; HENTZ, C. ; RAMALHO, V. M. Grammars for Test Generation. In: Latin American Workshop on Formal Methods, 2013, Buenos Aires, Argentina. pdf
  • Moreira, A. M. ; HENTZ, C. ; DEHARBE, D. B. P. ; MATOS, E. C. B. ; SOUZA NETO, J. B. ; MEDEIROS JUNIOR, V. G. . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: 9th International Conference, TAP 2015, 2015, L'Aquila. Tests and Proofs, 2015. v. 9154. p. 76-91. Springer link
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License