Security Analysis of FileZilla Server Using Threat Models. Publication: Journal Article Sanford, Michael, Daniel Woodraska, and Dianxiang Xu. 2011. “Security Analysis of FileZilla Server Using Threat Models.”. SEKE, 678-82.
Specification and analysis of attribute-based access control policies: An overview Publication: Journal Article Xu, Dianxiang, and Yunpeng Zhang. 2014. “Specification and Analysis of Attribute-Based Access Control Policies: An Overview”. 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion, 41-49.
Mining for core patterns in stock market data Publication: Journal Article Wu, Jianfei, Anne Denton, Omar Elariss, and Dianxiang Xu. 2009. “Mining for Core Patterns in Stock Market Data”. 2009 IEEE International Conference on Data Mining Workshops, 558-63.
Measurement of source code readability using word concreteness and memory retention of variable names Publication: Journal Article Xu, Weifeng, Dianxiang Xu, and Lin Deng. 2017. “Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names”. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) 1: 33-38.
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments. Publication: Journal Article Xu, Dianxiang, and Ning Shen. 2014. “Effectiveness of Automated Function Testing With Petri Nets: A Series of Controlled Experiments.”. SEKE, 211-16.
Deviant: A mutation testing tool for solidity smart contracts Publication: Journal Article Chapman, Patrick, Dianxiang Xu, Lin Deng, and Yin Xiong. 2019. “Deviant: A Mutation Testing Tool for Solidity Smart Contracts”. 2019 IEEE International Conference on Blockchain (Blockchain), 319-24.
Detecting Saturation Attacks in SDN via Machine Learning Publication: Journal Article Khamaiseh, Samer, Edoardo Serra, Zhiyuan Li, and Dianxiang Xu. 2019. “Detecting Saturation Attacks in SDN via Machine Learning”. 2019 4th International Conference on Computing, Communications and Security (ICCCS), 1-8.
Automated Generation of Concurrent Test Code from Function Nets. Publication: Journal Article Xu, Dianxiang, and Janghwan Tae. 2012. “Automated Generation of Concurrent Test Code from Function Nets.”. SEKE, 346-51.
Automated Strong Mutation Testing of XACML Policies Publication: Journal Article Xu, Dianxiang, Roshan Shrestha, and Ning Shen. 2020. “Automated Strong Mutation Testing of XACML Policies”. Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 105-16.
vswitchguard: Defending openflow switches against saturation attacks Publication: Journal Article Khamaiseh, Samer, Edoardo Serra, and Dianxiang Xu. 2020. “Vswitchguard: Defending Openflow Switches Against Saturation Attacks”. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 851-60.