@inproceedings{inproceedings7aaeedb5,
title   = {Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática},
author = {Araujo, Rodrigo Fraxino and Durelli, Vinícius Humberto Serapilha and Delamaro, Márcio Eduardo and Maldonado, José Carlos},
year = {2009},
publisher = {SBC},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}