Search

A methodology for building effective test models with function nets

Publication: Journal Article

Xu, Dianxiang, and William Chu. 2012. “A Methodology for Building Effective Test Models With Function Nets”. 2012 IEEE 36th Annual Computer Software and Applications Conference, 334-39.

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.

Model-Based Testing of Obligatory ABAC Systems

Publication: Journal Article

Khamaiseh, Samer, Patrick Chapman, and Dianxiang Xu. 2018. “Model-Based Testing of Obligatory ABAC Systems”. 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 405-13.

Network parallelization in HPC clusters

Publication: Journal Article

Alsmadi, Izzat, Samer Khamaiseh, and Dianxiang Xu. 2016. “Network Parallelization in HPC Clusters”. 2016 International Conference on Computational Science and Computational Intelligence (CSCI), 584-89.

Mutation analysis of magento for evaluating threat model-based security testing

Publication: Journal Article

Thomas, Lijo, Weifeng Xu, and Dianxiang Xu. 2011. “Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing”. 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops, 184-89.

Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn

Publication: Journal Article

Wu, Yan, Nitish Dhakal, Dianxiang Xu, and Jin-Hee Cho. 2018. “Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn”. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) 1: 461-70.

Conformance Testing of Balana: An Open Source Implementation of the XACML3. 0 Standard.

Publication: Journal Article

Chiang, Sung-Ju Fan, Daniel Chen, and Dianxiang Xu. 2016. “Conformance Testing of Balana: An Open Source Implementation of the XACML3. 0 Standard.”. SEKE, 492-97.

Quantifying Event Impact on the Bitcoin Blockchain

Publication: Journal Article

Luo, Anthony, and Dianxiang Xu. 2021. “Quantifying Event Impact on the Bitcoin Blockchain”. 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), 268-73.

Mutation Analysis of NGAC Policies

Publication: Journal Article

Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2021. “Mutation Analysis of NGAC Policies”. Proceedings of the 26th ACM Symposium on Access Control Models and Technologies, 71-82.

Search

Search results