@conference{221471, author = {David Kuhn and Chung and David Ferraiolo and Raghu Kacker and Yu Lei}, title = {Pseudo-exhaustive Testing of Attribute Based Access Control Rules}, year = {2016}, month = {2016-08-04}, publisher = {IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, chicago, IL}, doi = {https://doi.org/10.1109/ICSTW.2016.35}, language = {en}, }