OpenScholar

Detecting Integer Overflow Errors in Java Source Code via Machine Learning

Publication: Journal Article

Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2021. “Detecting Integer Overflow Errors in Java Source Code via Machine Learning”. 2021 IEEE 33rd International Conference on Tools With Artificial Intelligence (ICTAI), 724-28.

Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models

Publication: Journal Article

Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Compact Abstract Graphs for Detecting Code Vulnerability With GNN Models”. Proceedings of the 38th Annual Computer Security Applications Conference, 497-507.

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.

Search

Search results

Detecting Integer Overflow Errors in Java Source Code via Machine Learning

Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models

Security mutation testing of the FileZilla FTP server

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

Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers

Security Analysis of FileZilla Server Using Threat Models.

Specification and analysis of attribute-based access control policies: An overview

Mining for core patterns in stock market data

Measurement of source code readability using word concreteness and memory retention of variable names

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments.