Coverage-Based Testing of Obligations in NGAC Systems
Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2023. “Coverage-Based Testing of Obligations in NGAC Systems”. In 28th ACM Symposium on Access Control Models and Technologies (SACMAT’23).
Search
Search results
91 results found
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models”. In Annual Computer Security Applications Conference (ACSAC’22).
Automated test code generation from class state models
Xu, Dianxiang, Weifeng Xu, and Eric Wong. 2009. “Automated test code generation from class state models”. International Journal of Software Engineering and Knowledge Engineering 19 (04): 599-623.
Forensic Evidence Identification and Modeling for Attacks against a Simulated Online Business Information System
Tu, Manghui, Dianxiang Xu, Eugene Butler, and Amanda Schwartz. 2012. “Forensic Evidence Identification and Modeling for Attacks against a Simulated Online Business Information System”. Journal of Digital Forensics, Security and Law 7 (4): 4.
A threat model-based approach to security testing
Marback, Aaron, Hyunsook Do, Ke He, Samuel Kondamarri, and Dianxiang Xu. 2013. “A threat model-based approach to security testing”. Software: Practice and Experience 43 (2): 241-58.
Data placement in P2P data grids considering the availability, security, access performance and load balancing
Tu, Manghui, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh Bastani, and Dianxiang Xu. 2013. “Data placement in P2P data grids considering the availability, security, access performance and load balancing”. Journal of Grid Computing 11 (1): 103-27.
Predicting Integer Overflow Errors via Supervised Learning
Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Predicting Integer Overflow Errors via Supervised Learning”. International Journal on Artificial Intelligence Tools.
Automated fault localization of XACML policies
Xu, Dianxiang, Zhenyu Wang, Shuai Peng, and Ning Shen. 2016. “Automated fault localization of XACML policies”. Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 137-47.
Mining test oracles for test inputs generated from java bytecode
Xu, Weifeng, Tao Ding, Hanlin Wang, and Dianxiang Xu. 2013. “Mining test oracles for test inputs generated from java bytecode”. 2013 IEEE 37th Annual Computer Software and Applications Conference, 27-32.
Mining executable specifications of web applications from Selenium IDE tests
Xu, Dianxiang, Weifeng Xu, Bharath K Bavikati, and Eric Wong. 2012. “Mining executable specifications of web applications from Selenium IDE tests”. 2012 IEEE Sixth International Conference on Software Security and Reliability, 263-72.