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

Contact 

Division of Computing, Analytics and Mathematics

Primary menu
  • Research
  • Publications
  • Teaching
  • GenCyber Camps

Detecting Integer Overflow Errors in Java Source Code via Machine Learning

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.
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