Proceedings of the Encyclopedia of Software Engineering, 2010
Assessing Quality of Policy Properties in Verification of Access Control Policies.
Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008
A fault model and mutation testing of access control policies.
Proceedings of the 16th International Conference on World Wide Web, 2007
Automated Testing and Response Analysis ofWeb Services.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Automated Test Generation for Access Control Policies via Change-Impact Analysis.
Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007
WebSob: A Tool for Robustness Testing of Web Services.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Testing and Analysis of Access Control Policies.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Conformance Checking of Access Control Policies Specified in XACML.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Inferring Access-Control Policy Properties via Machine Learning.
Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006
Automated test generation for access control policies.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Automatic extraction of abstract-object-state machines from unit-test executions.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Understanding software application interfaces via string analysis.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Defining and Measuring Policy Coverage in Testing Access Control Policies.
Proceedings of the Information and Communications Security, 8th International Conference, 2006