@mastersthesis{mastersthesis59d4c699,
title   = {Model based testing of service oriented applications},
author = {Endo, André Takeshi and Simão, Adenilso da Silva},
year = {2013},
school = {Universidade de São Paulo}
}