Skip to main content
logo
Dianxiang Xu, Ph.D.

Contact 

Division of Computing, Analytics and Mathematics

Primary menu
  • Research
  • Publications
  • Teaching
  • GenCyber Camps

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

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.
Last updated on 07/19/2023

Recent Publications

  • SMT-Based Verification of NGAC Policies
  • Coverage-Based Testing of Obligations in NGAC Systems
  • Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
  • Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
  • Towards Designing Shared Digital Forensics Instructional Materials
  • Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs

Dianxiang Xu, Ph.D.

Professor and Director  

Division of Computing, Analytics and Mathematics
  • Instagram
  • Twitter
  • Youtube
Secondary menu
  • Home
  • Publications
  • Research

352H Flarsheim Hall, 5110 Rockhill

Kansas City, MO 64110

dxu@umkc.edu

Powered byOpenScholar®Admin Login