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

Contact 

Division of Computing, Analytics and Mathematics

Primary menu
  • Research
  • Publications
  • Teaching
  • GenCyber Camps

Deviant: A mutation testing tool for solidity smart contracts

Chapman, Patrick, Dianxiang Xu, Lin Deng, and Yin Xiong. 2019. “Deviant: A Mutation Testing Tool for Solidity Smart Contracts”. 2019 IEEE International Conference on Blockchain (Blockchain), 319-24.
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