Dianxiang Xu

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 51

Top Venues

Publications

Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu
Dynamic Access Control with Administrative Obligations: A Case Study. QRS Companion (2023)
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
Coverage-Based Testing of Obligations in NGAC Systems. SACMAT (2023)
Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu
SMT-Based Verification of NGAC Policies. COMPSAC (2023)
Dianxiang Xu, Roshan Shrestha, Ning Shen, Yunpeng Zhang
Towards a Theory on Testing XACML Policies. SACMAT (2022)
Weifeng Xu, Lin Deng, Dianxiang Xu
Towards Designing Shared Digital Forensics Instructional Materials. COMPSAC (2022)
Yu Luo, Weifeng Xu, Dianxiang Xu
Predicting Integer Overflow Errors via Supervised Learning. Int. J. Artif. Intell. Tools 31 (8) (2022)
Yu Luo, Weifeng Xu, Dianxiang Xu
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models. ACSAC (2022)
Weifeng Xu, Dianxiang Xu
Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs. PST (2022)
Yu Luo, Weifeng Xu, Dianxiang Xu
Detecting Integer Overflow Errors in Java Source Code via Machine Learning. ICTAI (2021)
Anthony Luo, Dianxiang Xu
Quantifying Event Impact on the Bitcoin Blockchain. COMPSAC (2021)
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
Mutation Analysis of NGAC Policies. SACMAT (2021)
Zhiyuan Li, Weijia Xing, Samer Khamaiseh, Dianxiang Xu
Detecting Saturation Attacks Based on Self-Similarity of OpenFlow Traffic. IEEE Trans. Netw. Serv. Manag. 17 (1) (2020)
Anthony Luo, Dianxiang Xu
Assessing Holistic Impacts of Major Events on the Bitcoin Blockchain Network. CoRR (2020)
Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu
A Bigram-based Inference Model for Retrieving Abbreviated Phrases in Source Code. EASE (2020)
Samer Khamaiseh, Edoardo Serra, Dianxiang Xu
vSwitchGuard: Defending OpenFlow Switches Against Saturation Attacks. COMPSAC (2020)
Dianxiang Xu, Roshan Shrestha, Ning Shen
Automated Strong Mutation Testing of XACML Policies. SACMAT (2020)
Samer Khamaiseh, Edoardo Serra, Zhiyuan Li, Dianxiang Xu
Detecting Saturation Attacks in SDN via Machine Learning. ICCCS (2019)
Yan Wu, Anthony Luo, Dianxiang Xu
Forensic Analysis of Bitcoin Transactions. ISI (2019)
Yan Wu, Anthony Luo, Dianxiang Xu
Identifying suspicious addresses in Bitcoin thefts. Digit. Investig. 31 (2019)
Patrick Chapman, Dianxiang Xu, Lin Deng, Yin Xiong
Deviant: A Mutation Testing Tool for Solidity Smart Contracts. Blockchain (2019)
Qiang Zhang, Dianxiang Xu, Tianze Gao, Zhihe Wang
Using Complex Network Topology Analysis. IEEE Trans. Comput. Soc. Syst. 6 (6) (2019)
Izzat Alsmadi, Abdallah Khreishah, Dianxiang Xu
Network slicing to improve multicasting in HPC clusters. Clust. Comput. 21 (3) (2018)
Dianxiang Xu, Eun-Sun Cho
Message from the SEPT Symposium Program Chairs. COMPSAC (1) (2018)
Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu
Model Checking of Security Properties in Industrial Control Systems (ICS). CODASPY (2018)
Samer Khamaiseh, Patrick Chapman, Dianxiang Xu
Model-Based Testing of Obligatory ABAC Systems. QRS (2018)
Yan Wu, Nitish Dhakal, Dianxiang Xu, Jin-Hee Cho
Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn. COMPSAC (1) (2018)
Dianxiang Xu, Roshan Shrestha, Ning Shen
Automated Coverage-Based Testing of XACML Policies. SACMAT (2018)
Weifeng Xu, Dianxiang Xu, Abdulrahman Alatawi, Omar el Ariss, Yunkai Liu
Statistical Unigram Analysis for Source Code Repository. Int. J. Semantic Comput. 12 (2) (2018)
Zhiyuan Li, Weijia Xing, Dianxiang Xu
Detecting Saturation Attacks in Software-Defined Networks. ISI (2018)
Roshan Shrestha, Shuai Peng, Turner Lehmbecker, Dianxiang Xu
XPA: An Open Soruce IDE for XACML Policies (S). SEKE (2018)
Dianxiang Xu, Omar el Ariss, Yunkai Liu, Abdulrahman Alatawi
Statistical Unigram Analysis for Source Code Repository. BigMM (2017)
Samer Khamaiseh, Dianxiang Xu
Software Security Testing via Misuse Case Modeling. DASC/PiCom/DataCom/CyberSciTech (2017)
Nitish Dhakal, Francesca Spezzano, Dianxiang Xu
Predicting Friendship Strength for Privacy Preserving: A Case Study on Facebook. ASONAM (2017)
Weifeng Xu, Dianxiang Xu, Lin Deng
Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names. COMPSAC (1) (2017)
Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu
Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code. ICTAI (2017)
Jin-Hee Cho, Izzat Alsmadi, Dianxiang Xu
Privacy and Social Capital in Online Social Networks. GLOBECOM (2016)
Bhavani M. Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino
Message from the SEPT Organizing Committee. COMPSAC (2016)
Dianxiang Xu, Weifeng Xu, Manghui Tu, Ning Shen, William C. Chu, Chih-Hung Chang
Automated Integration Testing Using Logical Contracts. IEEE Trans. Reliab. 65 (3) (2016)
Dianxiang Xu, Zhenyu Wang, Shuai Peng, Ning Shen
Automated Fault Localization of XACML Policies. SACMAT (2016)
Sung-Ju Fan Chiang, Daniel Chen, Dianxiang Xu
Conformance Testing of Balana: An Open Source Implementation of the XACML3.0 Standard. SEKE (2016)
Sandeep Lakaraju, Dianxiang Xu, Yong Wang
Analysis of Healthcare Workflows in Accordance with Access Control Policies. Int. J. Heal. Inf. Syst. Informatics 11 (1) (2016)
Izzat Alsmadi, Dianxiang Xu, Jin-Hee Cho
Interaction-based Reputation Model in Online Social Networks. ICISSP (2016)
Dianxiang Xu, Shuai Peng
Towards automatic repair of access control policies. PST (2016)
Dianxiang Xu, Ning Shen, Yunpeng Zhang
Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies. Int. J. Softw. Eng. Knowl. Eng. 25 (9-10) (2015)
Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang
An Automated Test Generation Technique for Software Quality Assurance. IEEE Trans. Reliab. 64 (1) (2015)
Izzat Alsmadi, Milson Munakami, Dianxiang Xu
Model-Based Testing of SDN Firewalls: A Case Study. TSA (2015)
Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, Yves Le Traon
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets. IEEE Trans. Computers 64 (9) (2015)
Dianxiang Xu, Ning Shen, Yunpeng Zhang
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies. SEKE (2015)
Bhavani M. Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino
Message from SEPT Symposium Organizing Committee. COMPSAC (2015)
Izzat Alsmadi, Dianxiang Xu
Security of Software Defined Networks: A survey. Comput. Secur. 53 (2015)
Dianxiang Xu, Yunpeng Zhang, Ning Shen
Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies. QRS (2015)
Weifeng Xu, Tao Ding, Dianxiang Xu
Rule-Based Test Input Generation from Bytecode. SERE (2014)
Dianxiang Xu, Yunpeng Zhang
Specification and Analysis of Attribute-Based Access Control Policies: An Overview. SERE (Companion) (2014)
Dianxiang Xu, Ning Shen
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments. SEKE (2014)
Sandeep Lakkaraju, Dianxiang Xu
Integrated Modeling and Analysis of Attribute Based Access Control Policies and Workflows in Healthcare. TSA (2014)
Dianxiang Xu, Weifeng Xu, Manghui Tu
Automated Generation of Integration Test Sequences from Logical Contracts. COMPSAC Workshops (2014)
Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22 (2) (2014)
Dianxiang Xu, Omar el Ariss
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 23 (5) (2013)
Dianxiang Xu, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, Michael To
Testing access control and obligation policies. ICNC (2013)
Junhua Ding, Dianxiang Xu, Jidong Ge
An Approach for Analyzing Software Specifications in Petri Nets. SEKE (2013)
Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu
Mining Test Oracles for Test Inputs Generated from Java Bytecode. COMPSAC (2013)
Manghui Tu, Dianxiang Xu
Resilience as a New System Engineering for Cloud Computing. J. Commun. 8 (4) (2013)
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu
A threat model-based approach to security testing. Softw. Pract. Exp. 43 (2) (2013)
Manghui Tu, Dianxiang Xu
System resilience modeling and enhancement for the cloud. ICNC (2013)
Dianxiang Xu
Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers. SIGCSE (2013)
Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu
Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. J. Grid Comput. 11 (1) (2013)
Manghui Tu, Liangliang Xiao, Dianxiang Xu
Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability. SERE (2013)
Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Xin-Hao Huang, Dianxiang Xu, Tse-Chuan Hsu, Yu-Bin Lai
An UML Behavior Diagram Based Automatic Testing Approach. COMPSAC Workshops (2013)
Omar el Ariss, Dianxiang Xu
Secure System Modeling: Integrating Security Attacks with Statecharts. Int. J. Softw. Informatics 6 (2) (2012)
Dianxiang Xu, William C. Chu
A Methodology for Building Effective Test Models with Function Nets. COMPSAC (2012)
Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang
Testing aspect-oriented programs with finite state machines. Softw. Test. Verification Reliab. 22 (4) (2012)
Dianxiang Xu, Weifeng Xu, Bharath K. Bavikati, W. Eric Wong
Mining Executable Specifications of Web Applications from Selenium IDE Tests. SERE (2012)
W. Eric Wong, Vidroha Debroy, Dianxiang Xu
Towards Better Fault Localization: A Crosstab-Based Statistical Approach. IEEE Trans. Syst. Man Cybern. Part C 42 (3) (2012)
Junhua Ding, Dianxiang Xu
Model-Based Metamorphic Testing: A Case Study. SEKE (2012)
Manghui Tu, Dianxiang Xu, Cristian Balan, Kyle Cronin
On the Development of Digital Forensics Curriculum. J. Digit. Forensics Secur. Law 7 (3) (2012)
Dianxiang Xu, Janghwan Tae
Automated Generation of Concurrent Test Code from Function Nets. SEKE (2012)
Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon
A model-based approach to automated testing of access control policies. SACMAT (2012)
Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu
Automated Security Test Generation with Formal Threat Models. IEEE Trans. Dependable Secur. Comput. 9 (4) (2012)
Dianxiang Xu
A Tool for Automated Test Code Generation from High-Level Petri Nets. Petri Nets (2011)
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, Xin-Hua Hu
Metamorphic testing of a Monte Carlo modeling program. AST (2011)
Manghui Tu, Dianxiang Xu, Zhonghang Xia, Jicheng Fu
Reach Availability Modeling of Replicated Services. COMPSAC (2011)
Omar el Ariss, Dianxiang Xu, W. Eric Wong
Integrating Safety Analysis With Functional Modeling. IEEE Trans. Syst. Man Cybern. Part A 41 (4) (2011)
Daniel Woodraska, Michael Sanford, Dianxiang Xu
Security mutation testing of the FileZilla FTP server. SAC (2011)
Omar el Ariss, Dianxiang Xu
Modeling security attacks with statecharts. QoSA/ISARCS (2011)
Lijo Thomas, Weifeng Xu, Dianxiang Xu
Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing. COMPSAC Workshops (2011)
Omar el Ariss, Jianfei Wu, Dianxiang Xu
Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts. SSIRI (2011)
Michael Sanford, Daniel Woodraska, Dianxiang Xu
Security Analysis of FileZilla Server Using Threat Models. SEKE (2011)
Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu
Software Test Automation. Adv. Softw. Eng. 2010 (2010)
Yong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons
A Stochastic Model for Optimizing the Patching Time of Software Bugs. SEKE (2010)
Omar el Ariss, Dianxiang Xu, Santosh Dandey, Bradley Vender, Philip E. McClean, Brian M. Slator
A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications. ITNG (2010)
Jun Kong, Dianxiang Xu, Xiaoqin Zeng
Uml-Based Modeling and Analysis of Security Threats. Int. J. Softw. Eng. Knowl. Eng. 20 (6) (2010)
Dianxiang Xu, Junhua Ding
Prioritizing State-Based Aspect Tests. ICST (2010)
Jianfei Wu, Anne Denton, Omar el Ariss, Dianxiang Xu
Mining for Core Patterns in Stock Market Data. ICDM Workshops (2009)
Sathish Pinagapani, Dianxiang Xu, Jun Kong
A Comparative Study of Access Control Languages. SSIRI (2009)
Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu
Specifying behavioral semantics of UML diagrams through graph transformations. J. Syst. Softw. 82 (2) (2009)
Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu
Modeling and integrating aspects with UML activity diagrams. SAC (2009)
Weifeng Xu, Dianxiang Xu
Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution. ICST Workshops (2009)
Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang
Aspect-Oriented Modeling and Verification with Finite State Machines. J. Comput. Sci. Technol. 24 (5) (2009)
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu
Security Test Generation Using Threat Trees. AST (2009)
Dianxiang Xu, Weifeng Xu, W. Eric Wong
Automated Test Code Generation from Class State Models. Int. J. Softw. Eng. Knowl. Eng. 19 (4) (2009)

Dianxiang Xu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dianxiang Xu