Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/www2007/paper/main/447> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- 447 creator evan-martin.
- 447 creator tao-xie.
- 447 type InProceedings.
- 447 label "A Fault Model and Mutation Testing of Access Control Policies".
- 447 sameAs 447.
- 447 abstract "To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking test outputs (responses) against expected ones. Unfortunately, manual testing is tedious and few tools exist for automated testing of XACML policies.<br /><br /> We present a fault model for access control policies and a framework to explore it. The framework includes mutation operators used to implement the fault model, mutant generation, equivalent-mutant detection, and mutant-killing determination. This framework allows us to investigate our fault model, evaluate coverage criteria for test generation and selection, and determine a relationship between structural coverage and fault-detection effectiveness. We have implemented the framework and applied it to various XACML policies. Our experimental results offer valuable insights into choosing mutation operators in mutation testing and choosing coverage criteria in test generation and selection.".
- 447 hasAuthorList authorList.
- 447 isPartOf proceedings.
- 447 title "A Fault Model and Mutation Testing of Access Control Policies".