Defining and Measuring Policy Coverage in Testing Access Control Policies. - Evan Martin; Tao Xie 001; Ting Yu 001 (ICICS, 2006)

Understanding software application interfaces via string analysis. - Evan Martin; Tao Xie 001 (ICSE, 2006)

Automatic extraction of abstract-object-state machines from unit-test executions. - Tao Xie 001; Evan Martin; Hai Yuan (ICSE, 2006)

Automated test generation for access control policies. - Evan Martin (OOPSLA Companion, 2006)

Inferring Access-Control Policy Properties via Machine Learning. - Evan Martin; Tao Xie (POLICY, 2006)

Conformance Checking of Access Control Policies Specified in XACML. - Vincent C. Hu; Evan Martin; JeeHyun Hwang; Tao Xie 001 (COMPSAC (2), 2007)

Testing and Analysis of Access Control Policies. - Evan Martin (ICSE Companion, 2007)

WebSob: A Tool for Robustness Testing of Web Services. - Evan Martin; Suranjana Basu; Tao Xie 001 (ICSE Companion, 2007)

Automated Test Generation for Access Control Policies via Change-Impact Analysis. - Evan Martin; Tao Xie 001 (SESS@ICSE, 2007)

Automated Testing and Response Analysis ofWeb Services. - Evan Martin; Suranjana Basu; Tao Xie (ICWS, 2007)

A fault model and mutation testing of access control policies. - Evan Martin; Tao Xie 001 (WWW, 2007)

Assessing Quality of Policy Properties in Verification of Access Control Policies. - Evan Martin; JeeHyun Hwang; Tao Xie 001; Vincent C. Hu (ACSAC, 2008)

Policy-Based Testing. - JeeHyun Hwang; Evan Martin; Tao Xie 001; Vincent C. Hu (Encyclopedia of Software Engineering, 2010)