@inproceedings{inproceedings5da965c7, title = {Model-based testing of RESTful Web Services using UML protocol state machines}, author = {Pinheiro, Pedro Victor Pontes and Endo, André Takeshi and Simão, Adenilso Da Silva}, year = {2013}, publisher = {SBC}, booktitle = {Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2013} }