@inproceedings{inproceedings3cd08cf1,
title   = {Model-based testing of service-oriented applications via state models},
author = {Endo, André Takeshi and Simão, Adenilso da Silva},
year = {2011},
doi = {10.1109/SCC.2011.77},
publisher = {IEEE Computer Society},
booktitle   = {IEEE International Conference on Services Computing}
}