@inproceedings{inproceedings7761a104,
title   = {A generalized model-based test generation method},
author = {Bonifácio, Adilson Luiz and Moura, Arnaldo Vieira and Simão, Adenilso da Silva},
year = {2008},
publisher = {IEEE Computer Society},
booktitle   = {IEEE International Conference on Software Engineering and Formal Methods}
}