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

Contact 

Division of Computing, Analytics and Mathematics

Primary menu
  • Research
  • Publications
  • Teaching
  • GenCyber Camps

Publications

2009

Xu, Dianxiang, Weifeng Xu, and Eric Wong. 2009. “Automated Test Code Generation from Class State Models”. International Journal of Software Engineering and Knowledge Engineering 19 (04): 599-623.

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
Secondary menu
  • Home
  • Publications
  • Research

352H Flarsheim Hall, 5110 Rockhill

Kansas City, MO 64110

dxu@umkc.edu

Powered byOpenScholar®Admin Login