@inproceedings{inproceedingsd02ff6f2,
title   = {Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados},
author = {Pinheiro, Arineiza Cristina and Simão, Adenilso da Silva},
year = {2011},
publisher = {SBC},
booktitle   = {Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011}
}