 | 2008 |
|---|
| 11 |       | Evan Martin,
JeeHyun Hwang,
Tao Xie,
Vincent C. Hu:
Assessing Quality of Policy Properties in Verification of Access Control Policies.
ACSAC 2008: 163-172 |
| 2007 |
|---|
| 10 | | Vincent C. Hu,
Evan Martin,
JeeHyun Hwang,
Tao Xie:
Conformance Checking of Access Control Policies Specified in XACML.
COMPSAC (2) 2007: 275-280 |
| 9 | | Evan Martin,
Suranjana Basu,
Tao Xie:
WebSob: A Tool for Robustness Testing of Web Services.
ICSE Companion 2007: 65-66 |
| 8 | | Evan Martin:
Testing and Analysis of Access Control Policies.
ICSE Companion 2007: 75-76 |
| 7 | | Evan Martin,
Suranjana Basu,
Tao Xie:
Automated Testing and Response Analysis ofWeb Services.
ICWS 2007: 647-654 |
| 6 | | Evan Martin,
Tao Xie:
A fault model and mutation testing of access control policies.
WWW 2007: 667-676 |
| 2006 |
|---|
| 5 | | Evan Martin,
Tao Xie,
Ting Yu:
Defining and Measuring Policy Coverage in Testing Access Control Policies.
ICICS 2006: 139-158 |
| 4 | | Tao Xie,
Evan Martin,
Hai Yuan:
Automatic extraction of abstract-object-state machines from unit-test executions.
ICSE 2006: 835-838 |
| 3 | | Evan Martin,
Tao Xie:
Understanding software application interfaces via string analysis.
ICSE 2006: 901-904 |
| 2 | | Evan Martin:
Automated test generation for access control policies.
OOPSLA Companion 2006: 752-753 |
| 1 | | Evan Martin,
Tao Xie:
Inferring Access-Control Policy Properties via Machine Learning.
POLICY 2006: 235-238 |
