Search

Towards Designing Shared Digital Forensics Instructional Materials

Publication: Journal Article

Xu, Weifeng, Lin Deng, and Dianxiang Xu. 2022. “Towards Designing Shared Digital Forensics Instructional Materials”. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 117-22.

Security mutation testing of the FileZilla FTP server

Publication: Journal Article

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.

A tool for automated test code generation from high-level Petri nets

Publication: Journal Article

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

Publication: Journal Article

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.

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.

Search

Search results