OpenScholar

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.

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.

Publication: Journal Article

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.

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.

Publication: Journal Article

Publication: Journal Article

Ariss, Omar El, Dianxiang Xu, and Eric Wong. 2011. “Integrating Safety Analysis With Functional Modeling”. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 41 (4): 610-24.

Publication: Journal Article

Xu, Weifeng, Dianxiang Xu, Abdulrahman Alatawi, Omar El Ariss, and Yunkai Liu. 2018. “Statistical Unigram Analysis for Source Code Repository”. International Journal of Semantic Computing 12 (02): 237-60.

Publication: Journal Article

Xu, Dianxiang, Ning Shen, and Yunpeng Zhang. 2015. “Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies”. International Journal of Software Engineering and Knowledge Engineering 25 (09n10): 1551-71.

Publication: Journal Article

Xu, Dianxiang, Omar El-Ariss, Weifeng Xu, and Linzhang Wang. 2012. “Testing Aspect-Oriented Programs With Finite State Machines”. Software Testing, Verification and Reliability 22 (4): 267-93.