@mastersthesis{mastersthesisa0398616,
title   = {Evaluating finite state machine based testing methods on RBAC systems},
author = {Damasceno, Carlos Diego Nascimento and Simão, Adenilso da Silva},
year = {2016},
school = {Universidade de São Paulo}
}