@inproceedings{inproceedingsc2608f14, title = {TeTooDS: testing tool for dynamic systems}, author = {Araújo, Rodrigo F. and Delamaro, Márcio Eduardo}, year = {2008}, publisher = {SBC}, booktitle = {Simpósio Brasileiro de Engenharia de Software} }