@InProceedings{ pretschner.ea:model-based:2008, author = {Alexander Pretschner and T. Mouelhi and Y. {Le Traon}}, booktitle = {1st International Conference on Software Testing, Verification, and Validation,}, language = {USenglish}, month = 4, pages = {338--347}, publisher = {IEEE}, title = {Model-Based Tests for Access Control Policies}, year = 2008, user = {pretscha} }