Search

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.

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.

Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas

Publication: Journal Article

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.

Search

Search results