An automated model-based test oracle for access control systems-Reference-Cited by-同舟云学术

An automated model-based test oracle for access control systems

Published:2018-05-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th International Workshop on Automation of Software Test
language:
Short-container-title:

Author:

Bertolino Antonia¹,Daoudagh Said¹,Lonetti Francesca¹,Marchetti Eda²

Affiliation:

1. ISTI-CNR, Pisa, Italy

2. University of Pisa, Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3194733.3194743

Reference22 articles.

1. Earl T Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2015. The oracle problem in software testing: A survey. IEEE transactions on software engineering 41 5 (2015) 507--525. Earl T Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2015. The oracle problem in software testing: A survey. IEEE transactions on software engineering 41 5 (2015) 507--525.

2. Testing of PolPA-based usage control systems

3. Automated testing of eXtensible Access Control Markup Language‐based access control systems

4. Access Control Policy Coverage Assessment Through Monitoring

5. Said Daoudagh. 2017. A Data Warehouse and a Framework for the Validation and Testing of Access Control Systems. Master's thesis. University of Pisa Italy. Said Daoudagh. 2017. A Data Warehouse and a Framework for the Validation and Testing of Access Control Systems. Master's thesis. University of Pisa Italy.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated reverse engineering of role-based access control policies of web applications;Journal of Systems and Software;2022-02

2. Continuous Development and Testing of Access and Usage Control;Proceedings of the 2020 European Symposium on Software Engineering;2020-11-06

3. An automated framework for continuous development and testing of access control systems;Journal of Software: Evolution and Process;2020-08-27

4. XACMET: XACML Testing & Modeling;Software Quality Journal;2020-03

5. A Framework for the Validation of Access Control Systems;Lecture Notes in Computer Science;2020