Security mutation testing of the FileZilla FTP server
Woodraska, Daniel, Michael Sanford, and Dianxiang Xu. 2011. “Security Mutation Testing of the FileZilla FTP Server”. Proceedings of the 2011 ACM Symposium on Applied Computing, 1425-30.
Search
Search results
91 results found
A tool for automated test code generation from high-level Petri nets
Xu, Dianxiang. 2011. “A Tool for Automated Test Code Generation from High-Level Petri Nets”. International Conference on Application and Theory of Petri Nets and Concurrency, 308-17.
Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers
Xu, Dianxiang. 2013. “Software Security Testing of an Online Banking System: A Unique Research Experience for Undergraduates and Computer Teachers”. Proceeding of the 44th ACM Technical Symposium on Computer Science Education, 705-10.
Security Analysis of FileZilla Server Using Threat Models.
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
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
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
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.
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
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
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.