Author:
Bertolino Antonia,Daoudagh Said,Lonetti Francesca,Marchetti Eda
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. Mutation Analysis of NGAC Policies;Proceedings of the 26th ACM Symposium on Access Control Models and Technologies;2021-06-11
3. GRADUATION: A GDPR-Based Mutation Methodology;Communications in Computer and Information Science;2021
4. An automated framework for continuous development and testing of access control systems;Journal of Software: Evolution and Process;2020-08-27
5. Automated Strong Mutation Testing of XACML Policies;Proceedings of the 25th ACM Symposium on Access Control Models and Technologies;2020-05-28